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
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
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
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
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
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
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
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(-)
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
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
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
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
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
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
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,
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
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
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
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
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
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
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
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
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
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
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:
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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(+),
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
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
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
--+
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
--+
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
201 - 300 of 369 matches
Mail list logo