Date: Saturday, June 27, 2020 @ 05:46:16
Author: felixonmars
Revision: 654502
upgpkg: agda 2.6.1-66: rebuild with ChasingBottoms 1.3.1.9
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Wednesday, June 24, 2020 @ 22:16:50
Author: felixonmars
Revision: 652492
upgpkg: agda 2.6.1-63: rebuild with splitmix 0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, June 22, 2020 @ 15:10:31
Author: felixonmars
Revision: 650591
upgpkg: agda 2.6.1-62: rebuild with smallcheck 1.2.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, June 21, 2020 @ 11:03:57
Author: felixonmars
Revision: 649158
upgpkg: agda 2.6.1-61: rebuild with cryptonite 0.27
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Saturday, June 20, 2020 @ 11:35:29
Author: felixonmars
Revision: 648306
upgpkg: agda 2.6.1-60: rebuild with base16-bytestring 0.1.1.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, June 19, 2020 @ 20:21:33
Author: felixonmars
Revision: 647848
upgpkg: agda 2.6.1-59: rebuild with foldl 1.4.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Thursday, June 18, 2020 @ 18:24:32
Author: felixonmars
Revision: 647405
upgpkg: agda 2.6.1-58: rebuild with http-client 0.7.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Thursday, June 18, 2020 @ 08:52:09
Author: felixonmars
Revision: 646835
upgpkg: agda 2.6.1-57: rebuild with unordered-containers 0.2.11.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, June 16, 2020 @ 06:38:08
Author: felixonmars
Revision: 645895
upgpkg: agda 2.6.1-56: rebuild with base-prelude 1.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, June 15, 2020 @ 20:43:24
Author: felixonmars
Revision: 645499
upgpkg: agda 2.6.1-55: rebuild with smallcheck 1.1.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Monday, June 15, 2020 @ 11:53:28
Author: felixonmars
Revision: 644993
upgpkg: agda 2.6.1-54: rebuild with aeson 1.5.2.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Sunday, June 14, 2020 @ 11:05:24
Author: felixonmars
Revision: 643999
upgpkg: agda 2.6.1-53: rebuild with splitmix 0.0.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, June 12, 2020 @ 20:19:22
Author: felixonmars
Revision: 642581
upgpkg: agda 2.6.1-52: rebuild with smallcheck 1.1.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, June 12, 2020 @ 05:00:57
Author: felixonmars
Revision: 642170
upgpkg: agda 2.6.1-51: rebuild with concurrent-output 1.10.12
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Wednesday, June 10, 2020 @ 11:47:52
Author: felixonmars
Revision: 641363
upgpkg: agda 2.6.1-50: rebuild with doctest 0.17
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, June 8, 2020 @ 05:59:57
Author: felixonmars
Revision: 640251
upgpkg: agda 2.6.1-49: rebuild with resourcet 1.2.4.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, June 7, 2020 @ 06:12:57
Author: felixonmars
Revision: 639617
upgpkg: agda 2.6.1-48: rebuild with tasty-golden 2.3.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Wednesday, June 3, 2020 @ 21:27:51
Author: felixonmars
Revision: 638584
upgpkg: agda 2.6.1-47: rebuild with haskell-src-exts 1.23.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, May 29, 2020 @ 14:58:48
Author: felixonmars
Revision: 637105
upgpkg: agda 2.6.1-46: rebuild with http-client 0.7.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, May 28, 2020 @ 20:19:51
Author: felixonmars
Revision: 636654
upgpkg: agda 2.6.1-45: rebuild with aeson 1.5.1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 28, 2020 @ 14:04:36
Author: felixonmars
Revision: 636321
upgpkg: agda 2.6.1-44: rebuild with warp 3.3.12
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Tuesday, May 26, 2020 @ 23:38:53
Author: felixonmars
Revision: 635509
upgpkg: agda 2.6.1-43: rebuild with quickcheck-instances 0.3.23
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, May 25, 2020 @ 14:37:52
Author: felixonmars
Revision: 634400
upgpkg: agda 2.6.1-42: rebuild with aeson 1.5.0.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, May 25, 2020 @ 05:13:27
Author: felixonmars
Revision: 633790
upgpkg: agda 2.6.1-41: rebuild with safe 0.3.19
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 24, 2020 @ 14:19:52
Author: felixonmars
Revision: 632828
upgpkg: agda 2.6.1-40: rebuild with tasty 1.3.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 21, 2020 @ 13:19:51
Author: felixonmars
Revision: 631205
upgpkg: agda 2.6.1-39: rebuild with unliftio 0.2.13
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Wednesday, May 20, 2020 @ 13:59:45
Author: felixonmars
Revision: 630683
upgpkg: agda 2.6.1-38: rebuild with network-byte-order 0.1.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, May 19, 2020 @ 21:44:04
Author: felixonmars
Revision: 630232
upgpkg: agda 2.6.1-37: rebuild with tasty-golden 2.3.3.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
==
Date: Monday, May 18, 2020 @ 09:47:41
Author: felixonmars
Revision: 629372
upgpkg: agda 2.6.1-36: rebuild with warp 3.3.11
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 17, 2020 @ 21:22:00
Author: felixonmars
Revision: 628993
upgpkg: agda 2.6.1-35: rebuild with math-functions 0.3.4.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Wednesday, May 13, 2020 @ 08:41:57
Author: felixonmars
Revision: 627505
upgpkg: agda 2.6.1-34: rebuild with tasty 1.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, May 1, 2020 @ 03:05:01
Author: felixonmars
Revision: 623587
upgpkg: agda 2.6.1-33: rebuild with tasty-golden 2.3.3.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, April 26, 2020 @ 03:01:39
Author: felixonmars
Revision: 621276
upgpkg: agda 2.6.1-32: rebuild with base64-bytestring 1.1.0.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, April 25, 2020 @ 15:53:37
Author: felixonmars
Revision: 620890
upgpkg: agda 2.6.1-31: rebuild with retry 0.8.1.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, April 24, 2020 @ 20:58:31
Author: felixonmars
Revision: 619572
upgpkg: agda 2.6.1-30: rebuild with ghc 8.10.1, protolude 0.3.0, repline
0.3.0.0, ghc-lib-parser-ex 8.10.0.1, th-desugar 1.11, singletons 2.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 f
Date: Tuesday, April 21, 2020 @ 00:18:56
Author: felixonmars
Revision: 617122
upgpkg: agda 2.6.1-29: rebuild with blaze-markup 0.8.2.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, April 19, 2020 @ 23:08:48
Author: felixonmars
Revision: 616711
upgpkg: agda 2.6.1-28: rebuild with resourcet 1.2.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, April 19, 2020 @ 02:54:24
Author: felixonmars
Revision: 616215
upgpkg: agda 2.6.1-27: rebuild with entropy 0.4.1.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, April 17, 2020 @ 18:25:22
Author: felixonmars
Revision: 615639
upgpkg: agda 2.6.1-26: rebuild with distributive 0.6.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, April 15, 2020 @ 10:10:11
Author: felixonmars
Revision: 614558
upgpkg: agda 2.6.1-25: rebuild with warp tasty-golden 2.3.3.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, April 14, 2020 @ 17:14:16
Author: felixonmars
Revision: 614095
upgpkg: agda 2.6.1-24: rebuild with warp 3.3.10
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, April 13, 2020 @ 21:07:39
Author: felixonmars
Revision: 613739
upgpkg: agda 2.6.1-23: rebuild with retry 0.8.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, April 9, 2020 @ 00:58:44
Author: foutrelis
Revision: 612868
libffi 3.3 rebuild
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, April 7, 2020 @ 01:10:13
Author: felixonmars
Revision: 612239
upgpkg: agda 2.6.1-21: rebuild with vault 0.3.1.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, April 3, 2020 @ 23:03:53
Author: felixonmars
Revision: 611312
upgpkg: agda 2.6.1-20: rebuild with http2 2.0.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, April 3, 2020 @ 20:11:55
Author: felixonmars
Revision: 611205
upgpkg: agda 2.6.1-19: rebuild with cpphs 1.20.9.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, April 3, 2020 @ 16:15:35
Author: felixonmars
Revision: 610868
upgpkg: agda 2.6.1-18: rebuild with dlist 0.8.0.8
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, April 2, 2020 @ 21:56:58
Author: felixonmars
Revision: 610358
upgpkg: agda 2.6.1-17: rebuild with lifted-async 0.10.0.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Thursday, April 2, 2020 @ 19:19:36
Author: felixonmars
Revision: 610189
upgpkg: agda 2.6.1-16: rebuild with geniplate-mirror 0.7.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, April 2, 2020 @ 08:22:22
Author: felixonmars
Revision: 609396
upgpkg: agda 2.6.1-15: rebuild with QuickCheck 2.14
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, March 31, 2020 @ 04:26:19
Author: felixonmars
Revision: 607530
upgpkg: agda 2.6.1-14: rebuild with doctest 0.16.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, March 29, 2020 @ 21:42:46
Author: felixonmars
Revision: 606488
upgpkg: agda 2.6.1-13: rebuild with ChasingBottoms 1.3.1.8
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Sunday, March 29, 2020 @ 12:56:49
Author: felixonmars
Revision: 605905
upgpkg: agda 2.6.1-12: rebuild with blaze-markup 0.8.2.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Saturday, March 28, 2020 @ 20:45:10
Author: felixonmars
Revision: 605489
upgpkg: agda 2.6.1-11: rebuild with attoparsec 0.13.2.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 26, 2020 @ 20:48:39
Author: felixonmars
Revision: 604654
upgpkg: agda 2.6.1-10: rebuild with aeson 1.4.7.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Wednesday, March 25, 2020 @ 13:28:10
Author: felixonmars
Revision: 604101
upgpkg: agda 2.6.1-9: rebuild with asn1-types 0.3.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Saturday, March 21, 2020 @ 19:35:36
Author: felixonmars
Revision: 603041
upgpkg: agda 2.6.1-8: rebuild with network 3.1.1.1, network-bsd 2.8.1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 21, 2020 @ 11:43:22
Author: felixonmars
Revision: 602497
upgpkg: agda 2.6.1-7: rebuild with haskell-src-exts 1.23.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, March 20, 2020 @ 20:28:39
Author: felixonmars
Revision: 602058
upgpkg: agda 2.6.1-6: rebuild with conduit-extra 1.3.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, March 20, 2020 @ 13:36:31
Author: felixonmars
Revision: 601621
upgpkg: agda 2.6.1-5: rebuild with aeson 1.4.7.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, March 19, 2020 @ 20:21:36
Author: felixonmars
Revision: 601141
upgpkg: agda 2.6.1-4: rebuild with conduit 1.3.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, March 17, 2020 @ 14:39:40
Author: felixonmars
Revision: 600230
upgpkg: agda 2.6.1-3: rebuild with iproute 1.7.9
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, March 16, 2020 @ 23:50:20
Author: felixonmars
Revision: 599959
upgpkg: agda 2.6.1-2: rebuild with warp 3.3.9
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, March 16, 2020 @ 13:41:11
Author: felixonmars
Revision: 599721
upgpkg: agda 2.6.1-1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |7 +++
1 file changed, 3 insertions(+), 4 deletions(-)
Modified: PKGBUILD
==
Date: Monday, March 16, 2020 @ 01:04:51
Author: felixonmars
Revision: 598921
upgpkg: agda 2.6.0.1.20191219-46: rebuild with hashable 1.3.0.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, March 14, 2020 @ 23:16:29
Author: felixonmars
Revision: 597412
upgpkg: agda 2.6.0.1.20191219-45: rebuild with StateVar 1.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 14, 2020 @ 11:03:57
Author: felixonmars
Revision: 596597
upgpkg: agda 2.6.0.1.20191219-44: rebuild with time-compat 1.9.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, March 13, 2020 @ 15:57:18
Author: felixonmars
Revision: 596101
upgpkg: agda 2.6.0.1.20191219-43: rebuild with constraints 0.12
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, March 12, 2020 @ 17:20:41
Author: felixonmars
Revision: 595318
upgpkg: agda 2.6.0.1.20191219-42: rebuild with criterion 1.5.6.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Thursday, March 12, 2020 @ 02:36:25
Author: felixonmars
Revision: 594938
upgpkg: agda 2.6.0.1.20191219-41: rebuild with generic-deriving 1.13.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Wednesday, March 11, 2020 @ 16:31:59
Author: felixonmars
Revision: 594383
upgpkg: agda 2.6.0.1.20191219-40: rebuild with network-byte-order 0.1.4.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, March 10, 2020 @ 11:30:50
Author: felixonmars
Revision: 593514
upgpkg: agda 2.6.0.1.20191219-39: rebuild with unliftio-core 0.2.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, March 9, 2020 @ 17:15:04
Author: felixonmars
Revision: 593130
upgpkg: agda 2.6.0.1.20191219-38: rebuild with http-client 0.6.4.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, March 8, 2020 @ 22:21:15
Author: felixonmars
Revision: 592577
upgpkg: agda 2.6.0.1.20191219-37: rebuild with generic-deriving 1.13
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, March 8, 2020 @ 12:57:21
Author: felixonmars
Revision: 591950
upgpkg: agda 2.6.0.1.20191219-36: rebuild with network-byte-order 0.1.3.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Sunday, March 8, 2020 @ 08:34:56
Author: felixonmars
Revision: 591509
upgpkg: agda 2.6.0.1.20191219-35: rebuild with unliftio-core 0.2.0.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Wednesday, March 4, 2020 @ 19:34:16
Author: felixonmars
Revision: 590435
upgpkg: agda 2.6.0.1.20191219-34: rebuild with unliftio 0.2.12.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, March 4, 2020 @ 12:36:15
Author: felixonmars
Revision: 590069
upgpkg: agda 2.6.0.1.20191219-33: rebuild with criterion 1.5.6.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, March 3, 2020 @ 09:40:30
Author: felixonmars
Revision: 589501
upgpkg: agda 2.6.0.1.20191219-32: rebuild with resourcet 1.2.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, March 2, 2020 @ 17:40:51
Author: felixonmars
Revision: 588565
upgpkg: agda 2.6.0.1.20191219-31: rebuild with primitive 0.7.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, February 29, 2020 @ 20:58:00
Author: felixonmars
Revision: 587117
upgpkg: agda 2.6.0.1.20191219-30: rebuild with logict 0.7.0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Thursday, February 27, 2020 @ 21:43:55
Author: felixonmars
Revision: 584825
upgpkg: agda 2.6.0.1.20191219-29: rebuild with ghc 8.8.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 26, 2020 @ 18:20:21
Author: felixonmars
Revision: 583058
upgpkg: agda 2.6.0.1.20191219-28: rebuild with cpphs 1.20.9
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 26, 2020 @ 10:59:29
Author: felixonmars
Revision: 582266
upgpkg: agda 2.6.0.1.20191219-27: rebuild with splitmix 0.0.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Monday, February 24, 2020 @ 21:43:59
Author: felixonmars
Revision: 580864
upgpkg: agda 2.6.0.1.20191219-26: rebuild with haskell-src-exts 1.22.0,
haskell-src-meta 0.8.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mo
Date: Monday, February 24, 2020 @ 14:06:33
Author: felixonmars
Revision: 580472
upgpkg: agda 2.6.0.1.20191219-25: rebuild with statistics 0.15.2.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, February 23, 2020 @ 21:19:43
Author: felixonmars
Revision: 580017
upgpkg: agda 2.6.0.1.20191219-24: rebuild with split 0.2.3.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, February 23, 2020 @ 08:16:55
Author: felixonmars
Revision: 579436
upgpkg: agda 2.6.0.1.20191219-23: rebuild with logict 0.7.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Saturday, February 22, 2020 @ 20:54:33
Author: felixonmars
Revision: 579107
upgpkg: agda 2.6.0.1.20191219-22: rebuild with network-byte-order 0.1.2.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Saturday, February 22, 2020 @ 17:15:29
Author: felixonmars
Revision: 578840
upgpkg: agda 2.6.0.1.20191219-21: rebuild with lifted-async 0.10.0.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 22, 2020 @ 12:02:37
Author: felixonmars
Revision: 578414
upgpkg: agda 2.6.0.1.20191219-20: rebuild with pretty-show 1.10
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, February 21, 2020 @ 18:14:24
Author: felixonmars
Revision: 577833
upgpkg: agda 2.6.0.1.20191219-19: rebuild with tasty-golden 2.3.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===
Date: Thursday, February 20, 2020 @ 08:53:25
Author: felixonmars
Revision: 576993
upgpkg: agda 2.6.0.1.20191219-18: rebuild with logict 0.7.0.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, February 19, 2020 @ 12:30:24
Author: felixonmars
Revision: 576505
upgpkg: agda 2.6.0.1.20191219-17: rebuild with binary-orphans 1.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 19, 2020 @ 07:24:53
Author: felixonmars
Revision: 576250
upgpkg: agda 2.6.0.1.20191219-16: rebuild with network-uri 2.6.3.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, February 18, 2020 @ 11:07:28
Author: felixonmars
Revision: 575773
upgpkg: agda 2.6.0.1.20191219-15: rebuild with statistics 0.15.1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, February 17, 2020 @ 19:14:07
Author: felixonmars
Revision: 574524
upgpkg: agda 2.6.0.1.20191219-14: rebuild with tasty-golden 2.3.2.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, February 17, 2020 @ 10:51:24
Author: felixonmars
Revision: 573939
upgpkg: agda 2.6.0.1.20191219-13: rebuild with profunctors 5.5.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, February 16, 2020 @ 20:28:55
Author: felixonmars
Revision: 572834
upgpkg: agda 2.6.0.1.20191219-12: rebuild with ghc 8.8.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, February 13, 2020 @ 15:10:05
Author: felixonmars
Revision: 570522
upgpkg: agda 2.6.0.1.20191219-11: rebuild with criterion 1.5.6.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
101 - 200 of 369 matches
Mail list logo