Date: Tuesday, December 29, 2020 @ 12:47:19
Author: felixonmars
Revision: 797006
upgpkg: agda 2.6.1.2-27: rebuild with tagged 0.8.6.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, December 28, 2020 @ 12:59:36
Author: felixonmars
Revision: 794854
upgpkg: agda 2.6.1.2-26: rebuild with indexed-traversable 0.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Saturday, December 26, 2020 @ 21:43:30
Author: felixonmars
Revision: 793066
upgpkg: agda 2.6.1.2-25: rebuild with hedgehog 1.0.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, December 26, 2020 @ 07:19:39
Author: felixonmars
Revision: 792171
upgpkg: agda 2.6.1.2-24: rebuild with tasty-quickcheck 0.10.1.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, December 25, 2020 @ 07:03:04
Author: felixonmars
Revision: 789645
upgpkg: agda 2.6.1.2-23: rebuild with comonad 5.0.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Thursday, December 24, 2020 @ 16:56:54
Author: felixonmars
Revision: 788346
upgpkg: agda 2.6.1.2-22: rebuild with base16-bytestring 1.0.1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, December 24, 2020 @ 11:11:25
Author: felixonmars
Revision: 787058
upgpkg: agda 2.6.1.2-21: rebuild with ghc 8.10.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |9 ++---
1 file changed, 6 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===
Date: Wednesday, December 23, 2020 @ 10:23:16
Author: felixonmars
Revision: 784043
upgpkg: agda 2.6.1.2-20: rebuild with tasty-smallcheck 0.8.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, December 22, 2020 @ 01:16:59
Author: felixonmars
Revision: 781713
upgpkg: agda 2.6.1.2-19: rebuild with tasty-hunit 0.10.0.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, December 18, 2020 @ 09:58:41
Author: felixonmars
Revision: 778412
upgpkg: agda 2.6.1.2-18: rebuild with th-abstraction 0.4.1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Wednesday, December 16, 2020 @ 20:01:25
Author: felixonmars
Revision: 776937
upgpkg: agda 2.6.1.2-17: rebuild with microstache 1.0.1.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Tuesday, December 15, 2020 @ 21:40:19
Author: felixonmars
Revision: 776231
upgpkg: agda 2.6.1.2-16: rebuild with base16-bytestring 1.0.0.0, casa-types
0.0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGB
Date: Monday, December 14, 2020 @ 04:27:53
Author: felixonmars
Revision: 774819
upgpkg: agda 2.6.1.2-15: rebuild with base-orphans 0.8.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Wednesday, December 9, 2020 @ 13:22:54
Author: felixonmars
Revision: 772650
upgpkg: agda 2.6.1.2-14: rebuild with vector-algorithms 0.8.0.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, December 8, 2020 @ 08:29:54
Author: felixonmars
Revision: 771756
upgpkg: agda 2.6.1.2-13: rebuild with strict 0.4.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, December 5, 2020 @ 02:24:12
Author: felixonmars
Revision: 770401
upgpkg: agda 2.6.1.2-12: rebuild with time-compat 1.9.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, December 3, 2020 @ 14:58:01
Author: felixonmars
Revision: 769579
upgpkg: agda 2.6.1.2-11: rebuild with criterion 1.5.9.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, November 28, 2020 @ 12:16:00
Author: felixonmars
Revision: 765202
upgpkg: agda 2.6.1.2-10: rebuild with unbounded-delays 0.1.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, November 26, 2020 @ 16:05:49
Author: felixonmars
Revision: 763592
upgpkg: agda 2.6.1.2-9: rebuild with criterion 1.5.8.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Wednesday, November 25, 2020 @ 19:13:40
Author: felixonmars
Revision: 761211
upgpkg: agda 2.6.1.2-8: rebuild with conduit 1.3.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, November 23, 2020 @ 11:14:46
Author: felixonmars
Revision: 759870
upgpkg: agda 2.6.1.2-7: rebuild with optparse-applicative 0.16.1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, November 20, 2020 @ 20:14:53
Author: felixonmars
Revision: 758080
upgpkg: agda 2.6.1.2-6: rebuild with base64-bytestring 1.2.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, November 18, 2020 @ 23:25:54
Author: felixonmars
Revision: 757298
upgpkg: agda 2.6.1.2-5: rebuild with http-client 0.7.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, November 17, 2020 @ 20:09:45
Author: felixonmars
Revision: 756865
upgpkg: agda 2.6.1.2-4: rebuild with iproute 1.7.10
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Tuesday, November 17, 2020 @ 05:09:55
Author: felixonmars
Revision: 755943
upgpkg: agda 2.6.1.2-3: rebuild with QuickCheck 2.14.2, quickcheck-instances
0.3.25.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Tuesday, November 10, 2020 @ 16:02:41
Author: felixonmars
Revision: 749612
upgpkg: agda 2.6.1.2-2: rebuild with cryptonite +tests enabled
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, November 10, 2020 @ 07:33:23
Author: felixonmars
Revision: 749413
upgpkg: agda 2.6.1.2-1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD | 25 -
1 file changed, 8 insertions(+), 17 deletions(-)
Modified: PKGBUILD
=
Date: Saturday, November 7, 2020 @ 19:43:52
Author: felixonmars
Revision: 745954
upgpkg: agda 2.6.1.1-33: rebuild with integer-logarithms 1.0.3.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, November 6, 2020 @ 22:02:07
Author: felixonmars
Revision: 744626
upgpkg: agda 2.6.1.1-32: rebuild with splitmix 0.1.0.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Wednesday, November 4, 2020 @ 20:23:20
Author: felixonmars
Revision: 742588
upgpkg: agda 2.6.1.1-31: rebuild with quickcheck-instances 0.3.25
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, November 4, 2020 @ 10:56:39
Author: felixonmars
Revision: 741887
upgpkg: agda 2.6.1.1-30: rebuild with time-compat 1.9.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, November 3, 2020 @ 21:34:06
Author: felixonmars
Revision: 741370
upgpkg: agda 2.6.1.1-29: rebuild with foldl 1.4.10
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, November 3, 2020 @ 09:27:47
Author: felixonmars
Revision: 740483
upgpkg: agda 2.6.1.1-28: rebuild with HUnit 1.6.1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Sunday, November 1, 2020 @ 01:40:28
Author: felixonmars
Revision: 738079
upgpkg: agda 2.6.1.1-27: rebuild with unliftio 0.2.13.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 28, 2020 @ 15:19:55
Author: felixonmars
Revision: 735513
upgpkg: agda 2.6.1.1-26: rebuild with optparse-applicative 0.16.0.0,
optparse-generic 1.4.3, turtle 1.5.21
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 d
Date: Sunday, October 25, 2020 @ 18:45:09
Author: felixonmars
Revision: 732863
upgpkg: agda 2.6.1.1-25: rebuild with bifunctors 5.5.8
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, October 23, 2020 @ 22:24:20
Author: felixonmars
Revision: 730949
upgpkg: agda 2.6.1.1-24: rebuild with generic-deriving 1.14
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, October 22, 2020 @ 20:57:32
Author: felixonmars
Revision: 730129
upgpkg: agda 2.6.1.1-23: rebuild with profunctors 5.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, October 22, 2020 @ 14:14:29
Author: felixonmars
Revision: 729146
upgpkg: agda 2.6.1.1-22: rebuild with splitmix 0.1.0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, October 19, 2020 @ 17:27:23
Author: felixonmars
Revision: 727196
upgpkg: agda 2.6.1.1-21: rebuild with conduit 1.3.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, October 18, 2020 @ 16:30:21
Author: felixonmars
Revision: 726744
upgpkg: agda 2.6.1.1-20: rebuild with uri-encode 1.5.0.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Sunday, October 18, 2020 @ 10:34:36
Author: felixonmars
Revision: 725875
upgpkg: agda 2.6.1.1-19: rebuild with th-abstraction 0.4.0.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Saturday, October 10, 2020 @ 07:41:25
Author: felixonmars
Revision: 722871
upgpkg: agda 2.6.1.1-18: rebuild with unordered-containers 0.2.13.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, October 9, 2020 @ 00:44:49
Author: felixonmars
Revision: 722230
upgpkg: agda 2.6.1.1-17: rebuild with http-date 0.0.10
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, October 8, 2020 @ 19:45:55
Author: felixonmars
Revision: 721922
upgpkg: agda 2.6.1.1-16: rebuild with criterion 1.5.7.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, October 7, 2020 @ 17:59:36
Author: felixonmars
Revision: 720773
upgpkg: agda 2.6.1.1-15: rebuild with base-compat 0.11.2, base-compat-batteries
0.11.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Monday, October 5, 2020 @ 17:26:56
Author: felixonmars
Revision: 718767
upgpkg: agda 2.6.1.1-14: rebuild with aeson 1.5.4.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Sunday, October 4, 2020 @ 16:30:48
Author: felixonmars
Revision: 717708
upgpkg: agda 2.6.1.1-13: rebuild with transformers-compat 0.6.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, October 2, 2020 @ 19:34:43
Author: felixonmars
Revision: 715532
upgpkg: agda 2.6.1.1-12: rebuild with base-orphans 0.8.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, September 28, 2020 @ 19:21:47
Author: felixonmars
Revision: 713264
upgpkg: agda 2.6.1.1-11: rebuild with foldl 1.4.9
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, September 28, 2020 @ 11:58:25
Author: felixonmars
Revision: 712916
upgpkg: agda 2.6.1.1-10: rebuild with network-byte-order 0.1.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, September 25, 2020 @ 17:25:25
Author: felixonmars
Revision: 712127
upgpkg: agda 2.6.1.1-9: rebuild with http-date 0.0.9
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Saturday, September 19, 2020 @ 01:12:03
Author: felixonmars
Revision: 710807
upgpkg: agda 2.6.1.1-8: rebuild with hashtables 1.2.4.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, September 18, 2020 @ 10:15:31
Author: felixonmars
Revision: 709870
upgpkg: agda 2.6.1.1-7: rebuild with hspec 2.7.4, hspec-core 2.7.4,
hspec-discover 2.7.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifie
Date: Wednesday, September 16, 2020 @ 20:47:24
Author: felixonmars
Revision: 708310
upgpkg: agda 2.6.1.1-6: rebuild with HTTP 4000.3.15
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, September 16, 2020 @ 07:34:52
Author: felixonmars
Revision: 707233
upgpkg: agda 2.6.1.1-5: rebuild with quickcheck-classes-base 0.6.1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, September 13, 2020 @ 08:01:59
Author: felixonmars
Revision: 704981
upgpkg: agda 2.6.1.1-4: rebuild with ansi-terminal 0.11
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, September 12, 2020 @ 00:02:20
Author: felixonmars
Revision: 702943
upgpkg: agda 2.6.1.1-3: rebuild with mwc-random 0.15.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, September 8, 2020 @ 23:03:09
Author: felixonmars
Revision: 701406
upgpkg: agda 2.6.1.1-2: rebuild with hashtables 1.2.4.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Tuesday, September 8, 2020 @ 21:47:44
Author: felixonmars
Revision: 701368
upgpkg: agda 2.6.1.1-1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD | 13 +
1 file changed, 5 insertions(+), 8 deletions(-)
Modified: PKGBUILD
==
Date: Monday, September 7, 2020 @ 22:52:32
Author: felixonmars
Revision: 700460
upgpkg: agda 2.6.1-105: rebuild with hspec 2.7.3, hspec-core 2.7.3,
hspec-discover 2.7.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Saturday, September 5, 2020 @ 00:38:28
Author: felixonmars
Revision: 698759
upgpkg: agda 2.6.1-104: rebuild with tasty-expected-failure 0.12.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, September 3, 2020 @ 22:09:11
Author: felixonmars
Revision: 697700
upgpkg: agda 2.6.1-103: rebuild with mwc-random 0.15.0.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 1, 2020 @ 20:21:35
Author: felixonmars
Revision: 695919
upgpkg: agda 2.6.1-102: rebuild with aeson 1.5.4.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, September 1, 2020 @ 13:09:08
Author: felixonmars
Revision: 695481
upgpkg: agda 2.6.1-101: rebuild with conduit 1.3.2.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, August 31, 2020 @ 16:19:19
Author: felixonmars
Revision: 694257
upgpkg: agda 2.6.1-100: rebuild with happy 1.20.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Saturday, August 29, 2020 @ 00:52:41
Author: felixonmars
Revision: 691374
upgpkg: agda 2.6.1-99: rebuild with logict 0.7.0.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, August 26, 2020 @ 19:18:50
Author: felixonmars
Revision: 689014
upgpkg: agda 2.6.1-98: rebuild with random 1.2.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, August 24, 2020 @ 00:26:57
Author: felixonmars
Revision: 687435
upgpkg: agda 2.6.1-97: rebuild with http-client 0.7.2.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Sunday, August 23, 2020 @ 10:36:28
Author: felixonmars
Revision: 687062
upgpkg: agda 2.6.1-96: rebuild with base64-bytestring 1.2.0.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, August 21, 2020 @ 20:33:54
Author: felixonmars
Revision: 686453
upgpkg: agda 2.6.1-95: rebuild with http-client 0.7.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, August 21, 2020 @ 12:27:05
Author: felixonmars
Revision: 685947
upgpkg: agda 2.6.1-94: rebuild with dlist 1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, August 19, 2020 @ 21:01:26
Author: felixonmars
Revision: 685212
upgpkg: agda 2.6.1-93: rebuild with tasty-expected-failure 0.12
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Tuesday, August 18, 2020 @ 10:50:35
Author: felixonmars
Revision: 683806
upgpkg: agda 2.6.1-92: rebuild with ghc 8.10.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |9 ++---
1 file changed, 6 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Sunday, August 16, 2020 @ 19:59:40
Author: felixonmars
Revision: 681871
upgpkg: agda 2.6.1-91: rebuild with lifted-async 0.10.1.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Sunday, August 16, 2020 @ 07:35:16
Author: felixonmars
Revision: 680762
upgpkg: agda 2.6.1-90: rebuild with math-functions 0.3.4.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, August 15, 2020 @ 05:59:02
Author: felixonmars
Revision: 679381
upgpkg: agda 2.6.1-89: rebuild with aeson 1.5.3.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |9 ++---
1 file changed, 6 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Friday, August 14, 2020 @ 06:46:09
Author: felixonmars
Revision: 678315
upgpkg: agda 2.6.1-88: rebuild with hspec 2.7.2, hspec-core 2.7.2,
hspec-discover 2.7.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: P
Date: Thursday, August 13, 2020 @ 06:32:31
Author: felixonmars
Revision: 676872
upgpkg: agda 2.6.1-87: rebuild with quickcheck-instances 0.3.24
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, August 12, 2020 @ 07:20:32
Author: felixonmars
Revision: 675581
upgpkg: agda 2.6.1-86: rebuild with splitmix 0.1.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, August 10, 2020 @ 19:28:58
Author: felixonmars
Revision: 674069
upgpkg: agda 2.6.1-85: rebuild with optics-th 0.3.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, August 10, 2020 @ 10:36:15
Author: felixonmars
Revision: 673534
upgpkg: agda 2.6.1-84: rebuild with streaming-commons 0.2.2.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Sunday, August 9, 2020 @ 19:36:07
Author: felixonmars
Revision: 673319
upgpkg: agda 2.6.1-83: rebuild with strict 0.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD | 11 +++
1 file changed, 7 insertions(+), 4 deletions(-)
Modified: PKGBUILD
Date: Sunday, August 9, 2020 @ 18:00:41
Author: felixonmars
Revision: 673302
upgpkg: agda 2.6.1-82: rebuild with uri-encode 1.5.0.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Sunday, August 9, 2020 @ 04:16:31
Author: felixonmars
Revision: 672978
upgpkg: agda 2.6.1-81: rebuild with network 3.1.2.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, August 8, 2020 @ 16:24:20
Author: felixonmars
Revision: 672462
upgpkg: agda 2.6.1-80: rebuild with these 1.1.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, August 8, 2020 @ 08:56:44
Author: felixonmars
Revision: 671986
upgpkg: agda 2.6.1-79: rebuild with lifted-async 0.10.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, August 7, 2020 @ 08:44:13
Author: felixonmars
Revision: 671359
upgpkg: agda 2.6.1-78: rebuild with foldl 1.4.8
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, August 6, 2020 @ 14:11:02
Author: felixonmars
Revision: 670935
upgpkg: agda 2.6.1-77: rebuild with streaming-commons 0.2.2.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, August 6, 2020 @ 06:28:57
Author: felixonmars
Revision: 670533
upgpkg: agda 2.6.1-76: rebuild with hedgehog 1.0.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Wednesday, August 5, 2020 @ 14:36:54
Author: felixonmars
Revision: 669515
upgpkg: agda 2.6.1-75: rebuild with unordered-containers 0.2.12.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, August 4, 2020 @ 14:46:48
Author: felixonmars
Revision: 668844
upgpkg: agda 2.6.1-74: rebuild with http2 2.0.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, August 3, 2020 @ 22:23:47
Author: felixonmars
Revision: 668589
upgpkg: agda 2.6.1-73: rebuild with zlib 0.6.2.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, August 3, 2020 @ 13:14:37
Author: felixonmars
Revision: 668286
upgpkg: agda 2.6.1-72: rebuild with these 1.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, August 2, 2020 @ 21:14:09
Author: felixonmars
Revision: 667879
upgpkg: agda 2.6.1-71: rebuild with blaze-markup 0.8.2.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Sunday, August 2, 2020 @ 15:37:28
Author: felixonmars
Revision: 667747
upgpkg: agda 2.6.1-70: rebuild with Glob 0.10.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, August 1, 2020 @ 09:57:20
Author: felixonmars
Revision: 667358
upgpkg: agda 2.6.1-69: rebuild with QuickCheck 2.14.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, July 31, 2020 @ 07:01:00
Author: felixonmars
Revision: 666046
upgpkg: agda 2.6.1-68: add symlink to avoid wring into /usr
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD | 11 +++
1 file changed, 7 insertions(+), 4 deletions(-)
Modified: PKGBUILD
Date: Monday, June 29, 2020 @ 13:23:13
Author: felixonmars
Revision: 656278
upgpkg: agda 2.6.1-67: rebuild with primitive 0.7.1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, June 26, 2020 @ 02:40:05
Author: felixonmars
Revision: 653349
upgpkg: agda 2.6.1-64: rebuild with warp 3.3.13
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
1 - 100 of 369 matches
Mail list logo