[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

2020-11-10 Thread Felix Yan via arch-commits
Date: Tuesday, November 10, 2020 @ 18:25:47 Author: felixonmars Revision: 749717 upgpkg: agda-stdlib 1.4-2: rebuild with Agda 2.6.1.2 Modified: agda-stdlib/trunk/PKGBUILD --+ PKGBUILD |8 1 file changed, 4 insertions(+), 4 deletions(-) Modified: PKGBUILD ==

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

2020-09-23 Thread Felix Yan via arch-commits
Date: Wednesday, September 23, 2020 @ 23:00:03 Author: felixonmars Revision: 711642 upgpkg: agda-stdlib 1.4-1 Modified: agda-stdlib/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

2020-09-08 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 22:14:45 Author: felixonmars Revision: 701384 upgpkg: agda-stdlib 1.3-3: rebuild for Agda 2.6.1.1 Modified: agda-stdlib/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD ===

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

2020-03-19 Thread Felix Yan via arch-commits
Date: Thursday, March 19, 2020 @ 11:06:23 Author: felixonmars Revision: 600817 upgpkg: agda-stdlib 1.3-1 Modified: agda-stdlib/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD ===

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

2019-12-21 Thread Felix Yan via arch-commits
Date: Saturday, December 21, 2019 @ 22:23:31 Author: felixonmars Revision: 538744 upgpkg: agda-stdlib 1.2-1 Modified: agda-stdlib/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

2019-07-27 Thread Felix Yan via arch-commits
Date: Sunday, July 28, 2019 @ 01:42:15 Author: felixonmars Revision: 493340 upgpkg: agda-stdlib 1.1-1 Modified: agda-stdlib/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD ==

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

2019-05-31 Thread Felix Yan via arch-commits
Date: Friday, May 31, 2019 @ 09:31:23 Author: felixonmars Revision: 475899 upgpkg: agda-stdlib 1.0.1-1 Modified: agda-stdlib/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

2018-12-04 Thread Felix Yan via arch-commits
Date: Tuesday, December 4, 2018 @ 17:20:29 Author: felixonmars Revision: 411186 upgpkg: agda-stdlib 0.17-1 Modified: agda-stdlib/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD standard-library.agda-lib)

2018-09-09 Thread Felix Yan via arch-commits
Date: Sunday, September 9, 2018 @ 09:00:30 Author: felixonmars Revision: 378875 upgpkg: agda-stdlib 0.16.1-1 Added: agda-stdlib/trunk/standard-library.agda-lib Modified: agda-stdlib/trunk/PKGBUILD ---+ PKGBUILD | 16 ++-- standard

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

2018-03-18 Thread Felix Yan via arch-commits
Date: Sunday, March 18, 2018 @ 18:58:55 Author: felixonmars Revision: 309082 upgpkg: agda-stdlib 0.15-1 Modified: agda-stdlib/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

2017-10-15 Thread Felix Yan
Date: Sunday, October 15, 2017 @ 09:21:41 Author: felixonmars Revision: 262896 upgpkg: agda-stdlib 0.14-1 Modified: agda-stdlib/trunk/PKGBUILD --+ PKGBUILD | 24 1 file changed, 12 insertions(+), 12 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

2017-01-24 Thread Felix Yan
Date: Tuesday, January 24, 2017 @ 16:30:27 Author: felixonmars Revision: 208910 upgpkg: agda-stdlib 0.13-1 Modified: agda-stdlib/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD agda-stdlib.install)

2016-04-17 Thread Felix Yan
Date: Monday, April 18, 2016 @ 05:40:44 Author: fyan Revision: 171284 upgpkg: agda-stdlib 0.12-1 Modified: agda-stdlib/trunk/PKGBUILD Deleted: agda-stdlib/trunk/agda-stdlib.install -+ PKGBUILD| 27 --- agda-stdlib.install | 1