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

2020-02-13 Thread Felix Yan via arch-commits
Date: Thursday, February 13, 2020 @ 09:41:40 Author: felixonmars Revision: 569950 upgpkg: agda 2.6.0.1.20191219-10: rebuild with doctest 0.16.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-12 Thread Felix Yan via arch-commits
Date: Wednesday, February 12, 2020 @ 11:43:10 Author: felixonmars Revision: 569246 upgpkg: agda 2.6.0.1.20191219-9: rebuild with network-uri 2.6.2.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-10 Thread Felix Yan via arch-commits
Date: Tuesday, February 11, 2020 @ 02:36:53 Author: felixonmars Revision: 566704 upgpkg: agda 2.6.0.1.20191219-8: rebuild with ansi-terminal 0.10.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-09 Thread Felix Yan via arch-commits
Date: Sunday, February 9, 2020 @ 16:58:32 Author: felixonmars Revision: 565468 upgpkg: agda 2.6.0.1.20191219-7: rebuild with tasty-quickcheck 0.10.1.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-08 Thread Felix Yan via arch-commits
Date: Saturday, February 8, 2020 @ 16:49:48 Author: felixonmars Revision: 564662 upgpkg: agda 2.6.0.1.20191219-6: rebuild with th-abstraction 0.3.2.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-05 Thread Felix Yan via arch-commits
Date: Wednesday, February 5, 2020 @ 14:45:29 Author: felixonmars Revision: 563259 upgpkg: agda 2.6.0.1.20191219-5: rebuild with vector 0.12.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-04 Thread Felix Yan via arch-commits
Date: Tuesday, February 4, 2020 @ 22:19:26 Author: felixonmars Revision: 562638 upgpkg: agda 2.6.0.1.20191219-4: rebuild with vector 0.12.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-01-29 Thread Felix Yan via arch-commits
Date: Wednesday, January 29, 2020 @ 13:31:43 Author: felixonmars Revision: 558833 upgpkg: agda 2.6.0.1.20191219-3: rebuild with base-compat 0.11.1, base-compat-batteries 0.11.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-01-27 Thread Felix Yan via arch-commits
Date: Tuesday, January 28, 2020 @ 02:09:19 Author: felixonmars Revision: 556944 upgpkg: agda 2.6.0.1.20191219-2: rebuild with base-orphans 0.8.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-01-22 Thread Felix Yan via arch-commits
Date: Wednesday, January 22, 2020 @ 09:52:19 Author: felixonmars Revision: 553440 upgpkg: agda 2.6.0.1.20191219-1: rebuild with ghc 8.8.1, cabal-doctest 1.0.7, polyparse 1.13, primitive 0.7.0.0, regex-base 0.94.0.0, regex-pcre 0.95.0.0, regex-posix 0.96.0.0, regex-tdfa 1.3.1.0, easytest

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

2020-01-04 Thread Felix Yan via arch-commits
Date: Saturday, January 4, 2020 @ 18:52:54 Author: felixonmars Revision: 548237 upgpkg: agda 2.6.0.1-33: rebuild with ansi-terminal 0.10.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-01-02 Thread Felix Yan via arch-commits
Date: Thursday, January 2, 2020 @ 17:05:38 Author: felixonmars Revision: 546376 upgpkg: agda 2.6.0.1-32: rebuild with ansi-terminal 0.10.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-12-30 Thread Felix Yan via arch-commits
Date: Monday, December 30, 2019 @ 11:29:45 Author: felixonmars Revision: 544420 upgpkg: agda 2.6.0.1-31: rebuild with exceptions 0.10.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-12-25 Thread Felix Yan via arch-commits
Date: Wednesday, December 25, 2019 @ 12:40:29 Author: felixonmars Revision: 540918 upgpkg: agda 2.6.0.1-30: rebuild with tasty-hunit 0.10.0.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-12-23 Thread Felix Yan via arch-commits
Date: Monday, December 23, 2019 @ 17:10:15 Author: felixonmars Revision: 539357 upgpkg: agda 2.6.0.1-29: rebuild with pandoc 2.8, pandoc-types 1.20, doctemplates 0.7.1, HsYAML 0.2.1.0, haddock-library 1.8.0, texmath 0.12, base-compat 0.11.0, base-compat-batteries 0.11.0,

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

2019-11-23 Thread Felix Yan via arch-commits
Date: Saturday, November 23, 2019 @ 18:07:37 Author: felixonmars Revision: 532203 upgpkg: agda 2.6.0.1-28 rebuild ChasingBottoms 1.3.1.7 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-11-21 Thread Felix Yan via arch-commits
Date: Thursday, November 21, 2019 @ 19:34:08 Author: felixonmars Revision: 531197 upgpkg: agda 2.6.0.1-27 rebuild with pcre-light 0.4.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-11-19 Thread Felix Yan via arch-commits
Date: Tuesday, November 19, 2019 @ 18:48:32 Author: felixonmars Revision: 530453 upgpkg: agda 2.6.0.1-26 rebuild with Diff 0.4.0, aeson 1.4.6.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-11-17 Thread Felix Yan via arch-commits
Date: Sunday, November 17, 2019 @ 16:43:48 Author: felixonmars Revision: 530050 upgpkg: agda 2.6.0.1-25 rebuild with blaze-markup 0.8.2.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-10-20 Thread Felix Yan via arch-commits
Date: Sunday, October 20, 2019 @ 08:48:55 Author: felixonmars Revision: 517666 upgpkg: agda 2.6.0.1-24 rebuild with blaze-html 0.9.1.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-10-18 Thread Felix Yan via arch-commits
Date: Friday, October 18, 2019 @ 09:41:43 Author: felixonmars Revision: 516717 upgpkg: agda 2.6.0.1-23 rebuild with equivalence 0.3.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-09-15 Thread Felix Yan via arch-commits
Date: Sunday, September 15, 2019 @ 16:18:19 Author: felixonmars Revision: 510764 upgpkg: agda 2.6.0.1-22 rebuild with happy 1.19.12 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-09-02 Thread Felix Yan via arch-commits
Date: Monday, September 2, 2019 @ 07:37:45 Author: felixonmars Revision: 506731 upgpkg: agda 2.6.0.1-21 rebuild with exceptions 0.10.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-31 Thread Felix Yan via arch-commits
Date: Sunday, September 1, 2019 @ 05:54:28 Author: felixonmars Revision: 505786 upgpkg: agda 2.6.0.1-20 rebuild with attoparsec 0.13.2.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-30 Thread Felix Yan via arch-commits
Date: Friday, August 30, 2019 @ 19:48:03 Author: felixonmars Revision: 505389 upgpkg: agda 2.6.0.1-19 rebuild with zlib 0.6.2.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-28 Thread Felix Yan via arch-commits
Date: Wednesday, August 28, 2019 @ 06:30:10 Author: felixonmars Revision: 503486 upgpkg: agda 2.6.0.1-18 rebuild with bifunctors 5.5.5, th-abstraction 0.3.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2019-08-26 Thread Felix Yan via arch-commits
Date: Monday, August 26, 2019 @ 20:14:47 Author: felixonmars Revision: 502234 upgpkg: agda 2.6.0.1-17 rebuild with call-stack 0.2.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-10 Thread Felix Yan via arch-commits
Date: Saturday, August 10, 2019 @ 21:23:57 Author: felixonmars Revision: 498715 upgpkg: agda 2.6.0.1-16 rebuild with unix-compat 0.5.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-09 Thread Felix Yan via arch-commits
Date: Friday, August 9, 2019 @ 08:51:57 Author: felixonmars Revision: 498411 upgpkg: agda 2.6.0.1-15 rebuild with hashtables 1.2.3.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-06 Thread Felix Yan via arch-commits
Date: Tuesday, August 6, 2019 @ 10:18:29 Author: felixonmars Revision: 497630 upgpkg: agda 2.6.0.1-14 rebuild with dlist 0.8.0.7 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-31 Thread Felix Yan via arch-commits
Date: Thursday, August 1, 2019 @ 03:32:05 Author: felixonmars Revision: 495917 upgpkg: agda 2.6.0.1-13 rebuild with splitmix 0.0.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-29 Thread Felix Yan via arch-commits
Date: Monday, July 29, 2019 @ 08:05:05 Author: felixonmars Revision: 494407 upgpkg: agda 2.6.0.1-12 rebuild with quickcheck-instances 0.3.22 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-27 Thread Felix Yan via arch-commits
Date: Sunday, July 28, 2019 @ 01:55:37 Author: felixonmars Revision: 493342 upgpkg: agda 2.6.0.1-11 rebuild with silently 1.2.5.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-18 Thread Felix Yan via arch-commits
Date: Thursday, July 18, 2019 @ 13:38:51 Author: felixonmars Revision: 491535 upgpkg: agda 2.6.0.1-10 rebuild with ChasingBottoms 1.3.1.6 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-17 Thread Felix Yan via arch-commits
Date: Wednesday, July 17, 2019 @ 18:53:04 Author: felixonmars Revision: 490487 upgpkg: agda 2.6.0.1-9 rebuild with QuickCheck 2.13.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-16 Thread Felix Yan via arch-commits
Date: Tuesday, July 16, 2019 @ 08:06:49 Author: felixonmars Revision: 489987 upgpkg: agda 2.6.0.1-8 rebuild with STMonadTrans 0.4.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-30 Thread Felix Yan via arch-commits
Date: Sunday, June 30, 2019 @ 18:35:28 Author: felixonmars Revision: 486530 upgpkg: agda 2.6.0.1-7 rebuild with tasty 1.2.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-27 Thread Felix Yan via arch-commits
Date: Thursday, June 27, 2019 @ 09:06:43 Author: felixonmars Revision: 484859 upgpkg: agda 2.6.0.1-6 rebuild with syb 0.7.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-26 Thread Felix Yan via arch-commits
Date: Wednesday, June 26, 2019 @ 06:44:07 Author: felixonmars Revision: 484219 upgpkg: agda 2.6.0.1-5 rebuild with aeson 1.4.4.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-22 Thread Felix Yan via arch-commits
Date: Sunday, June 23, 2019 @ 02:52:50 Author: felixonmars Revision: 482833 upgpkg: agda 2.6.0.1-4 rebuild with happy 1.19.11 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-22 Thread Felix Yan via arch-commits
Date: Saturday, June 22, 2019 @ 06:37:29 Author: felixonmars Revision: 482661 upgpkg: agda 2.6.0.1-3 rebuild with hashtables 1.2.3.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-09 Thread Felix Yan via arch-commits
Date: Sunday, June 9, 2019 @ 10:03:31 Author: felixonmars Revision: 478650 upgpkg: agda 2.6.0.1-2 rebuild with async 2.2.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-31 Thread Felix Yan via arch-commits
Date: Friday, May 31, 2019 @ 09:18:15 Author: felixonmars Revision: 475891 upgpkg: agda 2.6.0.1-1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD | 32 +++- 1 file changed, 11 insertions(+), 21 deletions(-) Modified: PKGBUILD

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

2019-05-30 Thread Felix Yan via arch-commits
Date: Thursday, May 30, 2019 @ 16:27:41 Author: felixonmars Revision: 474800 upgpkg: agda 2.5.99.20190207-30 rebuild with ansi-terminal 0.9.1, ansi-wl-pprint 0.6.9, concurrent-output 1.10.10 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2019-05-28 Thread Felix Yan via arch-commits
Date: Wednesday, May 29, 2019 @ 00:13:44 Author: felixonmars Revision: 473361 upgpkg: agda 2.5.99.20190207-29 rebuild with clock 0.8 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-28 Thread Felix Yan via arch-commits
Date: Tuesday, May 28, 2019 @ 19:25:35 Author: felixonmars Revision: 472983 upgpkg: agda 2.5.99.20190207-28 rebuild with clock 0.8 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-27 Thread Felix Yan via arch-commits
Date: Monday, May 27, 2019 @ 16:54:07 Author: felixonmars Revision: 471654 upgpkg: agda 2.5.99.20190207-27 rebuild with QuickCheck 2.13.1, hspec-core 2.7.1, hspec-discover 2.7.1, hspec 2.7.1, time-compat 1.9.2.2, quickcheck-instances 0.3.21 Modified: agda/trunk/PKGBUILD --+

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

2019-05-27 Thread Felix Yan via arch-commits
Date: Monday, May 27, 2019 @ 11:03:18 Author: felixonmars Revision: 471282 upgpkg: agda 2.5.99.20190207-26 rebuild with QuickCheck 2.13.1, hspec-core 2.7.1, hspec-discover 2.7.1, hspec 2.7.1, time-compat 1.9.2.2, quickcheck-instances 0.3.21 Modified: agda/trunk/PKGBUILD --+

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

2019-05-23 Thread Felix Yan via arch-commits
Date: Thursday, May 23, 2019 @ 14:05:46 Author: felixonmars Revision: 469362 upgpkg: agda 2.5.99.20190207-25 rebuild with hashtables 1.2.3.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-22 Thread Felix Yan via arch-commits
Date: Wednesday, May 22, 2019 @ 12:19:56 Author: felixonmars Revision: 468372 upgpkg: agda 2.5.99.20190207-24 rebuild with tasty-quickcheck 0.10.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-12 Thread Felix Yan via arch-commits
Date: Sunday, May 12, 2019 @ 10:00:35 Author: felixonmars Revision: 466074 upgpkg: agda 2.5.99.20190207-23 rebuild with transformers-compat 0.6.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-10 Thread Felix Yan via arch-commits
Date: Friday, May 10, 2019 @ 15:05:09 Author: felixonmars Revision: 464847 upgpkg: agda 2.5.99.20190207-22 rebuild with happy 1.19.10 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-09 Thread Felix Yan via arch-commits
Date: Thursday, May 9, 2019 @ 15:36:12 Author: felixonmars Revision: 464680 upgpkg: agda 2.5.99.20190207-21 rebuild with regex-tdfa 1.2.3.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-08 Thread Felix Yan via arch-commits
Date: Wednesday, May 8, 2019 @ 22:21:31 Author: felixonmars Revision: 463422 upgpkg: agda 2.5.99.20190207-20 rebuild with exceptions 0.10.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-08 Thread Felix Yan via arch-commits
Date: Wednesday, May 8, 2019 @ 08:39:15 Author: felixonmars Revision: 462747 upgpkg: agda 2.5.99.20190207-19 rebuild with case-insensitive 1.2.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-06 Thread Felix Yan via arch-commits
Date: Monday, May 6, 2019 @ 13:16:08 Author: felixonmars Revision: 460864 upgpkg: agda 2.5.99.20190207-18 rebuild with colour 2.3.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-02 Thread Felix Yan via arch-commits
Date: Thursday, May 2, 2019 @ 23:36:26 Author: felixonmars Revision: 457980 upgpkg: agda 2.5.99.20190207-17 rebuild with vector 0.12.0.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-30 Thread Felix Yan via arch-commits
Date: Tuesday, April 30, 2019 @ 23:55:08 Author: felixonmars Revision: 457240 upgpkg: agda 2.5.99.20190207-16 rebuild with aeson 1.4.3.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-29 Thread Felix Yan via arch-commits
Date: Monday, April 29, 2019 @ 12:39:17 Author: felixonmars Revision: 456069 upgpkg: agda 2.5.99.20190207-15 rebuild with generic-deriving 1.12.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-28 Thread Felix Yan via arch-commits
Date: Sunday, April 28, 2019 @ 17:32:49 Author: felixonmars Revision: 455100 upgpkg: agda 2.5.99.20190207-14 rebuild with ghc 8.6.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-20 Thread Felix Yan via arch-commits
Date: Saturday, April 20, 2019 @ 19:11:38 Author: felixonmars Revision: 452266 upgpkg: agda 2.5.99.20190207-13 rebuild with integer-logarithms 1.0.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-03 Thread Felix Yan via arch-commits
Date: Wednesday, April 3, 2019 @ 23:35:04 Author: felixonmars Revision: 448614 upgpkg: agda 2.5.99.20190207-12 rebuild with transformers-compat 0.6.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-01 Thread Felix Yan via arch-commits
Date: Monday, April 1, 2019 @ 23:21:10 Author: felixonmars Revision: 447198 upgpkg: agda 2.5.99.20190207-11 rebuild with transformers-compat 0.6.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-03-30 Thread Felix Yan via arch-commits
Date: Saturday, March 30, 2019 @ 13:16:11 Author: felixonmars Revision: 446271 upgpkg: agda 2.5.99.20190207-10 rebuild with dlist 0.8.0.6 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-03-28 Thread Felix Yan via arch-commits
Date: Thursday, March 28, 2019 @ 06:11:23 Author: felixonmars Revision: 445094 upgpkg: agda 2.5.99.20190207-9 rebuild with base-orphans 0.8.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-03-26 Thread Felix Yan via arch-commits
Date: Tuesday, March 26, 2019 @ 22:29:26 Author: felixonmars Revision: 443780 upgpkg: agda 2.5.99.20190207-8 rebuild with exceptions 0.10.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-03-10 Thread Felix Yan via arch-commits
Date: Sunday, March 10, 2019 @ 19:05:51 Author: felixonmars Revision: 439554 upgpkg: agda 2.5.99.20190207-7 rebuild with ghc 8.6.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-27 Thread Felix Yan via arch-commits
Date: Wednesday, February 27, 2019 @ 09:07:25 Author: felixonmars Revision: 436205 upgpkg: agda 2.5.99.20190207-6 rebuild with th-abstraction 0.2.11.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-18 Thread Felix Yan via arch-commits
Date: Monday, February 18, 2019 @ 16:18:09 Author: felixonmars Revision: 434268 upgpkg: agda 2.5.99.20190207-5 rebuild with equivalence 0.3.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-16 Thread Felix Yan via arch-commits
Date: Saturday, February 16, 2019 @ 17:47:28 Author: felixonmars Revision: 433595 upgpkg: agda 2.5.99.20190207-4 rebuild with hashable-time 0.2.0.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-14 Thread Felix Yan via arch-commits
Date: Thursday, February 14, 2019 @ 22:09:48 Author: felixonmars Revision: 432441 upgpkg: agda 2.5.99.20190207-3 rebuild with tasty 1.2, tasty-rerun 1.1.14 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-12 Thread Felix Yan via arch-commits
Date: Tuesday, February 12, 2019 @ 12:54:29 Author: felixonmars Revision: 431948 use https url Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-10 Thread Felix Yan via arch-commits
Date: Sunday, February 10, 2019 @ 08:11:31 Author: felixonmars Revision: 431204 upgpkg: agda 2.5.99.20190207-2 rebuild with generic-deriving 1.12.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-07 Thread Felix Yan via arch-commits
Date: Thursday, February 7, 2019 @ 12:34:38 Author: felixonmars Revision: 429905 upgpkg: agda 2.5.99.20190207-1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD | 11 ++- 1 file changed, 6 insertions(+), 5 deletions(-) Modified: PKGBUILD

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

2019-01-20 Thread Felix Yan via arch-commits
Date: Sunday, January 20, 2019 @ 22:06:11 Author: felixonmars Revision: 425660 upgpkg: agda 2.5.99.20181017-11 rebuild with QuickCheck 2.12.6.1, servant 0.15, servant-server 0.15, servant-swagger 1.1.7, hspec-discover 2.7.0, hspec-meta 2.6.0, hspec-core 2.7.0, hspec 2.7.0, hspec-contrib

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

2019-01-18 Thread Felix Yan via arch-commits
Date: Saturday, January 19, 2019 @ 00:10:57 Author: felixonmars Revision: 424230 upgpkg: agda 2.5.99.20181017-10 rebuild with unordered-containers 0.2.10.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-30 Thread Felix Yan via arch-commits
Date: Sunday, December 30, 2018 @ 10:16:46 Author: felixonmars Revision: 419000 upgpkg: agda 2.5.99.20181017-9 rebuild with th-abstraction 0.2.10.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-10 Thread Felix Yan via arch-commits
Date: Monday, December 10, 2018 @ 16:48:03 Author: felixonmars Revision: 414300 upgpkg: agda 2.5.99.20181017-8 rebuild with ghc 8.6.3, cmark-gfm 0.1.6 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-08 Thread Felix Yan via arch-commits
Date: Saturday, December 8, 2018 @ 13:08:43 Author: felixonmars Revision: 412338 upgpkg: agda 2.5.99.20181017-7 rebuild with vector 0.12.0.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-11-27 Thread Felix Yan via arch-commits
Date: Tuesday, November 27, 2018 @ 14:31:18 Author: felixonmars Revision: 409939 upgpkg: agda 2.5.99.20181017-6 rebuild with aeson 1.4.2.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-11-07 Thread Felix Yan via arch-commits
Date: Wednesday, November 7, 2018 @ 17:23:48 Author: felixonmars Revision: 402978 upgpkg: agda 2.5.99.20181017-5 rebuild with ghc 8.6.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-11-01 Thread Felix Yan via arch-commits
Date: Thursday, November 1, 2018 @ 11:13:46 Author: felixonmars Revision: 401067 upgpkg: agda 2.5.99.20181017-4 rebuild with polyparse 1.12.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-31 Thread Felix Yan via arch-commits
Date: Wednesday, October 31, 2018 @ 10:36:46 Author: felixonmars Revision: 399967 upgpkg: agda 2.5.99.20181017-3 rebuild with ansi-terminal 0.8.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-18 Thread Felix Yan via arch-commits
Date: Friday, October 19, 2018 @ 03:31:19 Author: felixonmars Revision: 396977 upgpkg: agda 2.5.99.20181017-2 rebuild with base-compat 0.10.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-18 Thread Felix Yan via arch-commits
Date: Thursday, October 18, 2018 @ 10:49:09 Author: felixonmars Revision: 395882 upgpkg: agda 2.5.99.20181017-1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD | 34 -- 1 file changed, 20 insertions(+), 14 deletions(-) Modified: PKGBUILD

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

2018-10-11 Thread Felix Yan via arch-commits
Date: Thursday, October 11, 2018 @ 06:46:24 Author: felixonmars Revision: 392163 upgpkg: agda 2.5.4.1-7 rebuild with tasty 1.1.0.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-05 Thread Felix Yan via arch-commits
Date: Friday, October 5, 2018 @ 10:13:18 Author: felixonmars Revision: 389756 upgpkg: agda 2.5.4.1-6 rebuild with optparse-applicative 0.14.3.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-26 Thread Felix Yan via arch-commits
Date: Thursday, September 27, 2018 @ 05:43:12 Author: felixonmars Revision: 385805 upgpkg: agda 2.5.4.1-5 rebuild with blaze-markup 0.8.2.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-26 Thread Felix Yan via arch-commits
Date: Wednesday, September 26, 2018 @ 08:16:21 Author: felixonmars Revision: 385152 upgpkg: agda 2.5.4.1-4 rebuild with ChasingBottoms 1.3.1.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-24 Thread Felix Yan via arch-commits
Date: Monday, September 24, 2018 @ 07:19:10 Author: felixonmars Revision: 384397 upgpkg: agda 2.5.4.1-3 rebuild with equivalence 0.3.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-15 Thread Felix Yan via arch-commits
Date: Saturday, September 15, 2018 @ 07:07:58 Author: felixonmars Revision: 381240 upgpkg: agda 2.5.4.1-2 rebuild with ansi-terminal 0.8.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-09 Thread Felix Yan via arch-commits
Date: Sunday, September 9, 2018 @ 06:00:58 Author: felixonmars Revision: 378862 upgpkg: agda 2.5.4.1-1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-08 Thread Felix Yan via arch-commits
Date: Sunday, September 9, 2018 @ 04:35:42 Author: felixonmars Revision: 378860 try to fix agda again Modified: agda/trunk/PKGBUILD --+ PKGBUILD |8 1 file changed, 4 insertions(+), 4 deletions(-) Modified: PKGBUILD

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

2018-09-06 Thread Felix Yan via arch-commits
Date: Thursday, September 6, 2018 @ 08:07:02 Author: felixonmars Revision: 377322 upgpkg: agda 2.5.4-11 rebuild with test-framework-quickcheck2 0.3.0.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-28 Thread Felix Yan via arch-commits
Date: Saturday, July 28, 2018 @ 14:59:02 Author: felixonmars Revision: 363799 upgpkg: agda 2.5.4-10 rebuild with tasty 1.1.0.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-10 Thread Felix Yan via arch-commits
Date: Tuesday, July 10, 2018 @ 13:28:00 Author: felixonmars Revision: 356028 upgpkg: agda 2.5.4-9 rebuild with base-compat 0.10.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-02 Thread Felix Yan via arch-commits
Date: Tuesday, July 3, 2018 @ 04:49:20 Author: felixonmars Revision: 350362 upgpkg: agda 2.5.4-8 rebuild with tagged 0.8.6 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-06-24 Thread Felix Yan via arch-commits
Date: Sunday, June 24, 2018 @ 06:24:05 Author: felixonmars Revision: 344904 upgpkg: agda 2.5.4-7 rebuild with tasty 1.1.0.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-06-22 Thread Felix Yan via arch-commits
Date: Friday, June 22, 2018 @ 13:13:57 Author: felixonmars Revision: 344584 upgpkg: agda 2.5.4-6 rebuild with regex-tdfa 1.2.3.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-06-14 Thread Felix Yan via arch-commits
Date: Thursday, June 14, 2018 @ 16:33:23 Author: felixonmars Revision: 343081 upgpkg: agda 2.5.4-4 rebuild with blaze-html 0.9.1.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

<    1   2   3   4   >