Commit in haskell-what4/trunk (PKGBUILD)

2023-05-16 Thread Felix Yan
Date: Tuesday, May 16, 2023 @ 18:55:35 Author: felixonmars Revision: 1462128 upgpkg: haskell-what4 1.3-107: rebuild with network 3.1.2.9 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2023-05-13 Thread Felix Yan
Date: Saturday, May 13, 2023 @ 22:33:25 Author: felixonmars Revision: 1460738 upgpkg: haskell-what4 1.3-106: rebuild with quickcheck-instances 0.3.29.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUIL

Commit in haskell-what4/trunk (PKGBUILD)

2023-04-12 Thread Felix Yan
Date: Thursday, April 13, 2023 @ 04:09:15 Author: felixonmars Revision: 1445241 upgpkg: haskell-what4 1.3-105: rebuild with extra 1.7.13 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2023-04-10 Thread Felix Yan
Date: Monday, April 10, 2023 @ 14:00:09 Author: felixonmars Revision: 109 upgpkg: haskell-what4 1.3-104: rebuild with lucid 2.11.20230408 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2023-04-08 Thread Felix Yan
Date: Saturday, April 8, 2023 @ 16:20:51 Author: felixonmars Revision: 1442796 upgpkg: haskell-what4 1.3-103: rebuild with tasty-checklist 1.0.5.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

Commit in haskell-what4/trunk (PKGBUILD)

2023-04-05 Thread Felix Yan
Date: Wednesday, April 5, 2023 @ 08:20:45 Author: felixonmars Revision: 1436486 upgpkg: haskell-what4 1.3-102: rebuild with syb 0.7.2.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2023-04-02 Thread Felix Yan
Date: Sunday, April 2, 2023 @ 08:08:50 Author: felixonmars Revision: 1433250 upgpkg: haskell-what4 1.3-101: rebuild with nothunks 0.1.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-30 Thread Felix Yan
Date: Thursday, March 30, 2023 @ 05:08:10 Author: felixonmars Revision: 1430833 upgpkg: haskell-what4 1.3-100: rebuild with quickcheck-instances 0.3.29 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUIL

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-29 Thread Felix Yan
Date: Wednesday, March 29, 2023 @ 09:10:21 Author: felixonmars Revision: 1430242 upgpkg: haskell-what4 1.3-99: rebuild with kvitable 1.0.2.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-28 Thread Felix Yan
Date: Tuesday, March 28, 2023 @ 08:39:49 Author: felixonmars Revision: 1429888 upgpkg: haskell-what4 1.3-98: rebuild with versions 5.0.5 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-26 Thread Felix Yan
Date: Sunday, March 26, 2023 @ 09:26:45 Author: felixonmars Revision: 1428793 upgpkg: haskell-what4 1.3-97: rebuild with lifted-async 0.10.2.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-21 Thread Felix Yan
Date: Wednesday, March 22, 2023 @ 03:31:27 Author: felixonmars Revision: 1425993 upgpkg: haskell-what4 1.3-96: rebuild with indexed-traversable 0.1.2.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUIL

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-21 Thread Felix Yan
Date: Wednesday, March 22, 2023 @ 00:16:30 Author: felixonmars Revision: 1425286 upgpkg: haskell-what4 1.3-95: rebuild with lens 5.2.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-18 Thread Felix Yan
Date: Saturday, March 18, 2023 @ 14:00:00 Author: felixonmars Revision: 1422671 upgpkg: haskell-what4 1.3-94: rebuild with terminal-size 0.3.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-15 Thread Felix Yan
Date: Wednesday, March 15, 2023 @ 17:52:58 Author: felixonmars Revision: 1420779 upgpkg: haskell-what4 1.3-93: rebuild with network 3.1.2.8 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-13 Thread Felix Yan
Date: Monday, March 13, 2023 @ 21:28:48 Author: felixonmars Revision: 1419902 upgpkg: haskell-what4 1.3-92: rebuild with reflection 2.1.7 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-10 Thread Felix Yan
Date: Saturday, March 11, 2023 @ 04:54:48 Author: felixonmars Revision: 1418268 upgpkg: haskell-what4 1.3-91: rebuild with generically 0.1.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-06 Thread Felix Yan
Date: Monday, March 6, 2023 @ 17:42:32 Author: felixonmars Revision: 1415828 upgpkg: haskell-what4 1.3-90: rebuild with aeson 2.1.2.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-05 Thread Felix Yan
Date: Sunday, March 5, 2023 @ 20:02:47 Author: felixonmars Revision: 1414816 upgpkg: haskell-what4 1.3-89: rebuild with invariant 0.6.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-05 Thread Felix Yan
Date: Sunday, March 5, 2023 @ 14:38:39 Author: felixonmars Revision: 1413776 upgpkg: haskell-what4 1.3-88: rebuild with bifunctors 5.5.15 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-04 Thread Felix Yan
Date: Saturday, March 4, 2023 @ 13:32:38 Author: felixonmars Revision: 1412157 upgpkg: haskell-what4 1.3-87: rebuild with typed-process 0.2.11.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-03 Thread Felix Yan
Date: Friday, March 3, 2023 @ 22:00:52 Author: felixonmars Revision: 1411286 upgpkg: haskell-what4 1.3-86: rebuild with th-lift 0.8.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-03 Thread Felix Yan
Date: Friday, March 3, 2023 @ 15:22:26 Author: felixonmars Revision: 1409640 upgpkg: haskell-what4 1.3-85: rebuild with tagged 0.8.7 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-02 Thread Felix Yan
Date: Thursday, March 2, 2023 @ 13:57:37 Author: felixonmars Revision: 1406880 upgpkg: haskell-what4 1.3-84: rebuild with generic-deriving 1.14.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-01 Thread Felix Yan
Date: Wednesday, March 1, 2023 @ 18:52:18 Author: felixonmars Revision: 1406125 upgpkg: haskell-what4 1.3-83: rebuild with lens 5.2.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2023-03-01 Thread Felix Yan
Date: Wednesday, March 1, 2023 @ 08:54:14 Author: felixonmars Revision: 1405790 upgpkg: haskell-what4 1.3-82: rebuild with deriving-compat 0.6.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2023-02-17 Thread Felix Yan
Date: Saturday, February 18, 2023 @ 01:23:25 Author: felixonmars Revision: 1402608 upgpkg: haskell-what4 1.3-81: rebuild with hspec 2.10.9, hspec-core 2.10.9, hspec-discover 2.10.9 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

Commit in haskell-what4/trunk (PKGBUILD)

2023-02-08 Thread Felix Yan
Date: Thursday, February 9, 2023 @ 01:50:04 Author: felixonmars Revision: 1397190 upgpkg: haskell-what4 1.3-80: rebuild with unliftio-core 0.2.1.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

Commit in haskell-what4/trunk (PKGBUILD)

2023-02-06 Thread Felix Yan
Date: Monday, February 6, 2023 @ 16:33:52 Author: felixonmars Revision: 1394623 upgpkg: haskell-what4 1.3-79: rebuild with hspec 2.10.8, hspec-core 2.10.8, hspec-discover 2.10.8 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

Commit in haskell-what4/trunk (PKGBUILD)

2023-01-28 Thread Felix Yan
Date: Saturday, January 28, 2023 @ 15:56:05 Author: felixonmars Revision: 1389947 upgpkg: haskell-what4 1.3-78: rebuild with concurrent-output 1.10.17 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2023-01-28 Thread Felix Yan
Date: Saturday, January 28, 2023 @ 09:44:01 Author: felixonmars Revision: 1389292 upgpkg: haskell-what4 1.3-77: rebuild with bv-sized 1.0.5 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2023-01-16 Thread Felix Yan
Date: Monday, January 16, 2023 @ 09:09:12 Author: felixonmars Revision: 1385251 upgpkg: haskell-what4 1.3-76: rebuild with inspection-testing 0.5.0.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2023-01-10 Thread Felix Yan
Date: Wednesday, January 11, 2023 @ 01:25:17 Author: felixonmars Revision: 1382888 upgpkg: haskell-what4 1.3-75: rebuild with tasty-sugar 2.0.1.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2023-01-10 Thread Felix Yan
Date: Tuesday, January 10, 2023 @ 20:25:38 Author: felixonmars Revision: 1382425 upgpkg: haskell-what4 1.3-74: rebuild with tasty-checklist 1.0.5.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2023-01-09 Thread Felix Yan
Date: Tuesday, January 10, 2023 @ 02:36:38 Author: felixonmars Revision: 1382288 upgpkg: haskell-what4 1.3-73: rebuild with kvitable 1.0.2.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2023-01-06 Thread Felix Yan
Date: Friday, January 6, 2023 @ 23:36:13 Author: felixonmars Revision: 1380349 upgpkg: haskell-what4 1.3-72: rebuild with hashable 1.4.2.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

Commit in haskell-what4/trunk (PKGBUILD)

2023-01-05 Thread Felix Yan
Date: Thursday, January 5, 2023 @ 14:01:16 Author: felixonmars Revision: 1378283 upgpkg: haskell-what4 1.3-71: rebuild with lumberjack 1.0.2.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

Commit in haskell-what4/trunk (PKGBUILD)

2023-01-04 Thread Felix Yan
Date: Thursday, January 5, 2023 @ 03:19:01 Author: felixonmars Revision: 1376898 upgpkg: haskell-what4 1.3-70: rebuild with hspec 2.10.7, hspec-core 2.10.7, hspec-discover 2.10.7 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 de

Commit in haskell-what4/trunk (PKGBUILD)

2023-01-02 Thread Felix Yan
Date: Monday, January 2, 2023 @ 18:29:32 Author: felixonmars Revision: 1373638 upgpkg: haskell-what4 1.3-69: rebuild with haskell-lexer 1.1.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2022-12-28 Thread Felix Yan
Date: Wednesday, December 28, 2022 @ 11:24:04 Author: felixonmars Revision: 1370533 upgpkg: haskell-what4 1.3-68: rebuild with tasty 1.4.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

Commit in haskell-what4/trunk (PKGBUILD)

2022-12-27 Thread Felix Yan
Date: Tuesday, December 27, 2022 @ 18:51:41 Author: felixonmars Revision: 1368856 upgpkg: haskell-what4 1.3-67: rebuild with tasty-checklist 1.0.4.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2022-12-25 Thread Felix Yan
Date: Sunday, December 25, 2022 @ 21:44:13 Author: felixonmars Revision: 1367167 upgpkg: haskell-what4 1.3-66: rebuild with hspec 2.10.6, hspec-core 2.10.6, hspec-discover 2.10.6, hspec-meta 2.10.5 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1

Commit in haskell-what4/trunk (PKGBUILD)

2022-12-24 Thread Felix Yan
Date: Saturday, December 24, 2022 @ 18:15:35 Author: felixonmars Revision: 1365430 upgpkg: haskell-what4 1.3-65: rebuild with parameterized-utils 2.1.6.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBU

Commit in haskell-what4/trunk (PKGBUILD)

2022-12-20 Thread Felix Yan
Date: Tuesday, December 20, 2022 @ 21:37:43 Author: felixonmars Revision: 1364764 upgpkg: haskell-what4 1.3-64: rebuild with hedgehog-classes 0.2.5.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2022-12-19 Thread Felix Yan
Date: Monday, December 19, 2022 @ 08:33:38 Author: felixonmars Revision: 1361495 upgpkg: haskell-what4 1.3-62: rebuild with deriving-compat 0.6.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2022-12-18 Thread Felix Yan
Date: Sunday, December 18, 2022 @ 15:08:27 Author: felixonmars Revision: 1360498 upgpkg: haskell-what4 1.3-61: rebuild with barbies 2.0.4.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2022-12-15 Thread Felix Yan
Date: Thursday, December 15, 2022 @ 14:18:42 Author: felixonmars Revision: 1359330 upgpkg: haskell-what4 1.3-60: rebuild with microlens 0.4.13.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2022-12-10 Thread Felix Yan
Date: Saturday, December 10, 2022 @ 18:37:57 Author: felixonmars Revision: 1357868 upgpkg: haskell-what4 1.3-59: rebuild with bifunctors 5.5.14 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2022-12-01 Thread Felix Yan
Date: Thursday, December 1, 2022 @ 19:33:15 Author: felixonmars Revision: 1355827 upgpkg: haskell-what4 1.3-58: rebuild with free 5.1.10 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2022-11-29 Thread Felix Yan
Date: Tuesday, November 29, 2022 @ 10:42:19 Author: felixonmars Revision: 1355037 upgpkg: haskell-what4 1.3-57: rebuild with megaparsec 9.3.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2022-11-25 Thread Felix Yan
Date: Saturday, November 26, 2022 @ 03:15:58 Author: felixonmars Revision: 1353945 upgpkg: haskell-what4 1.3-56: rebuild with tasty-sugar 2.0.0.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2022-11-24 Thread Felix Yan
Date: Thursday, November 24, 2022 @ 12:15:54 Author: felixonmars Revision: 1352201 upgpkg: haskell-what4 1.3-55: rebuild with hspec 2.10.5, hspec-core 2.10.5, hspec-discover 2.10.5 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

Commit in haskell-what4/trunk (PKGBUILD)

2022-11-19 Thread Felix Yan
Date: Sunday, November 20, 2022 @ 00:36:29 Author: felixonmars Revision: 1349852 upgpkg: haskell-what4 1.3-54: rebuild with lens 5.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2022-11-14 Thread Felix Yan
Date: Monday, November 14, 2022 @ 21:32:34 Author: felixonmars Revision: 1347991 upgpkg: haskell-what4 1.3-53: rebuild with aeson 2.1.1.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2022-11-13 Thread Felix Yan
Date: Monday, November 14, 2022 @ 04:35:35 Author: felixonmars Revision: 1347455 upgpkg: haskell-what4 1.3-52: rebuild with tasty-sugar 2.0.0.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2022-11-11 Thread Felix Yan
Date: Friday, November 11, 2022 @ 14:07:37 Author: felixonmars Revision: 1346717 upgpkg: haskell-what4 1.3-51: rebuild with MonadRandom 0.6 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2022-11-06 Thread Felix Yan
Date: Sunday, November 6, 2022 @ 20:11:14 Author: felixonmars Revision: 1344492 upgpkg: haskell-what4 1.3-50: rebuild with hspec 2.10.4, hspec-core 2.10.4, hspec-discover 2.10.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

Commit in haskell-what4/trunk (PKGBUILD)

2022-10-26 Thread Felix Yan
Date: Wednesday, October 26, 2022 @ 19:00:45 Author: felixonmars Revision: 1336583 upgpkg: haskell-what4 1.3-49: rebuild with doctest 0.20.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2022-10-22 Thread Felix Yan
Date: Saturday, October 22, 2022 @ 10:09:10 Author: felixonmars Revision: 1333493 upgpkg: haskell-what4 1.3-48: rebuild with versions 5.0.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2022-10-19 Thread Felix Yan
Date: Tuesday, October 18, 2022 @ 01:30:14 Author: felixonmars Revision: 1331320 upgpkg: haskell-what4 1.3-47: rebuild with hspec 2.10.3, hspec-core 2.10.3, hspec-discover 2.10.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 de

Commit in haskell-what4/trunk (PKGBUILD)

2022-10-13 Thread Felix Yan
Date: Friday, October 14, 2022 @ 01:30:10 Author: felixonmars Revision: 1328376 upgpkg: haskell-what4 1.3-46: rebuild with aeson 2.1.0.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2022-10-10 Thread Felix Yan
Date: Monday, October 10, 2022 @ 15:12:57 Author: felixonmars Revision: 1326323 upgpkg: haskell-what4 1.3-45: rebuild with vector 0.13.0.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

Commit in haskell-what4/trunk (PKGBUILD)

2022-10-06 Thread Felix Yan
Date: Thursday, October 6, 2022 @ 21:53:23 Author: felixonmars Revision: 1323359 upgpkg: haskell-what4 1.3-44: rebuild with tasty-hedgehog 1.3.1.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

Commit in haskell-what4/trunk (PKGBUILD)

2022-10-04 Thread Felix Yan
Date: Tuesday, October 4, 2022 @ 19:17:21 Author: felixonmars Revision: 1321195 upgpkg: haskell-what4 1.3-43: rebuild with hashtables 1.3.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2022-09-30 Thread Felix Yan
Date: Friday, September 30, 2022 @ 08:40:19 Author: felixonmars Revision: 1318754 upgpkg: haskell-what4 1.3-42: rebuild with hspec 2.10.2, hspec-core 2.10.2, hspec-discover 2.10.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 d

Commit in haskell-what4/trunk (PKGBUILD)

2022-09-29 Thread Felix Yan
Date: Thursday, September 29, 2022 @ 15:19:28 Author: felixonmars Revision: 1316292 upgpkg: haskell-what4 1.3-41: rebuild with aeson 2.0.3.0, aeson-diff 1.1.0.11, bower-json 1.1.0.0, http2 3.0.3, hoauth2 2.1.0, jose 0.9, microlens-aeson 2.4.0, postgresql-binary 0.12.5, postgrest 10.0.0, re

Commit in haskell-what4/trunk (PKGBUILD)

2022-09-27 Thread Felix Yan
Date: Wednesday, September 28, 2022 @ 00:16:42 Author: felixonmars Revision: 1314320 upgpkg: haskell-what4 1.3-40: rebuild with syb 0.7.2.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

Commit in haskell-what4/trunk (PKGBUILD)

2022-09-25 Thread Felix Yan
Date: Sunday, September 25, 2022 @ 22:22:39 Author: felixonmars Revision: 1311082 upgpkg: haskell-what4 1.3-39: rebuild with optparse-applicative 0.17.0.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGB

Commit in haskell-what4/trunk (PKGBUILD)

2022-09-22 Thread Felix Yan
Date: Thursday, September 22, 2022 @ 13:17:39 Author: felixonmars Revision: 1307830 upgpkg: haskell-what4 1.3-38: rebuild with hspec 2.10.1, hspec-core 2.10.1, hspec-discover 2.10.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

Commit in haskell-what4/trunk (PKGBUILD)

2022-09-18 Thread Felix Yan
Date: Sunday, September 18, 2022 @ 14:58:10 Author: felixonmars Revision: 1304884 upgpkg: haskell-what4 1.3-37: rebuild with tasty-sugar 1.3.0.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2022-09-15 Thread Felix Yan
Date: Thursday, September 15, 2022 @ 22:24:41 Author: felixonmars Revision: 1303494 upgpkg: haskell-what4 1.3-36: rebuild with bifunctors 5.5.13 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

Commit in haskell-what4/trunk (PKGBUILD)

2022-09-14 Thread Felix Yan
Date: Wednesday, September 14, 2022 @ 14:37:30 Author: felixonmars Revision: 1301909 upgpkg: haskell-what4 1.3-35: rebuild with th-abstraction 0.4.5.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

Commit in haskell-what4/trunk (PKGBUILD)

2022-09-14 Thread Felix Yan
Date: Wednesday, September 14, 2022 @ 10:23:44 Author: felixonmars Revision: 1301244 upgpkg: haskell-what4 1.3-34: rebuild with tasty-sugar 1.3.0.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-09-10 Thread Felix Yan via arch-commits
Date: Saturday, September 10, 2022 @ 16:14:25 Author: felixonmars Revision: 1299693 upgpkg: haskell-what4 1.3-33: rebuild with generic-deriving 1.14.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-09-09 Thread Felix Yan via arch-commits
Date: Saturday, September 10, 2022 @ 02:41:02 Author: felixonmars Revision: 1298033 upgpkg: haskell-what4 1.3-32: rebuild with hedgehog 1.1.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-09-09 Thread Felix Yan via arch-commits
Date: Friday, September 9, 2022 @ 17:54:51 Author: felixonmars Revision: 1297325 upgpkg: haskell-what4 1.3-31: rebuild with megaparsec 9.2.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-09-08 Thread Felix Yan via arch-commits
Date: Thursday, September 8, 2022 @ 10:00:58 Author: felixonmars Revision: 1296495 upgpkg: haskell-what4 1.3-30: rebuild with extra 1.7.12 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-09-06 Thread Felix Yan via arch-commits
Date: Tuesday, September 6, 2022 @ 20:02:28 Author: felixonmars Revision: 1294828 upgpkg: haskell-what4 1.3-29: rebuild with hspec 2.10.0, hspec-core 2.10.0, hspec-discover 2.10.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 d

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

2022-09-03 Thread Felix Yan via arch-commits
Date: Saturday, September 3, 2022 @ 13:55:39 Author: felixonmars Revision: 1292462 upgpkg: haskell-what4 1.3-28: rebuild with libBF 0.6.5.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-09-03 Thread Felix Yan via arch-commits
Date: Saturday, September 3, 2022 @ 11:06:57 Author: felixonmars Revision: 1291637 upgpkg: haskell-what4 1.3-27: rebuild with tasty-hedgehog 1.3.0.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-09-03 Thread Felix Yan via arch-commits
Date: Saturday, September 3, 2022 @ 07:40:12 Author: felixonmars Revision: 1291046 upgpkg: haskell-what4 1.3-26: rebuild with tasty-sugar 1.3.0.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-08-29 Thread Felix Yan via arch-commits
Date: Tuesday, August 30, 2022 @ 00:43:07 Author: felixonmars Revision: 1287308 upgpkg: haskell-what4 1.3-25: rebuild with base-compat 0.12.2, base-compat-batteries 0.12.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2022-08-28 Thread Felix Yan via arch-commits
Date: Sunday, August 28, 2022 @ 07:44:00 Author: felixonmars Revision: 1284909 upgpkg: haskell-what4 1.3-24: rebuild with th-lift-instances 0.1.20 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-08-26 Thread Felix Yan via arch-commits
Date: Friday, August 26, 2022 @ 17:29:35 Author: felixonmars Revision: 1283393 upgpkg: haskell-what4 1.3-23: rebuild with silently 1.2.5.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-08-26 Thread Felix Yan via arch-commits
Date: Friday, August 26, 2022 @ 07:31:48 Author: felixonmars Revision: 1281040 upgpkg: haskell-what4 1.3-22: rebuild with extra 1.7.11 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-08-25 Thread Felix Yan via arch-commits
Date: Thursday, August 25, 2022 @ 19:21:52 Author: felixonmars Revision: 1280060 upgpkg: haskell-what4 1.3-21: rebuild with quickcheck-instances 0.3.28 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUIL

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

2022-08-25 Thread Felix Yan via arch-commits
Date: Thursday, August 25, 2022 @ 07:35:16 Author: felixonmars Revision: 1278273 upgpkg: haskell-what4 1.3-20: rebuild with hashable 1.4.1.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-08-24 Thread Felix Yan via arch-commits
Date: Wednesday, August 24, 2022 @ 12:54:37 Author: felixonmars Revision: 1276122 upgpkg: haskell-what4 1.3-19: rebuild with config-value 0.8.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-08-24 Thread Felix Yan via arch-commits
Date: Wednesday, August 24, 2022 @ 12:26:28 Author: felixonmars Revision: 1276109 upgpkg: haskell-what4 1.3-18: rebuild with tasty-checklist 1.0.4.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-08-22 Thread Felix Yan via arch-commits
Date: Monday, August 22, 2022 @ 17:59:08 Author: felixonmars Revision: 1274806 upgpkg: haskell-what4 1.3-17: rebuild with io-streams 1.5.2.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-08-22 Thread Felix Yan via arch-commits
Date: Monday, August 22, 2022 @ 09:55:58 Author: felixonmars Revision: 1274587 upgpkg: haskell-what4 1.3-16: rebuild with indexed-traversable-instances 0.1.1.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2022-08-21 Thread Felix Yan via arch-commits
Date: Sunday, August 21, 2022 @ 18:19:38 Author: felixonmars Revision: 1273286 upgpkg: haskell-what4 1.3-15: rebuild with split 0.2.3.5 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-08-21 Thread Felix Yan via arch-commits
Date: Sunday, August 21, 2022 @ 08:12:26 Author: felixonmars Revision: 1271876 upgpkg: haskell-what4 1.3-14: rebuild with ChasingBottoms 1.3.1.12 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-08-19 Thread Felix Yan via arch-commits
Date: Friday, August 19, 2022 @ 12:56:49 Author: felixonmars Revision: 1270054 upgpkg: haskell-what4 1.3-13: rebuild with base-orphans 0.8.7 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-08-19 Thread Felix Yan via arch-commits
Date: Friday, August 19, 2022 @ 09:08:40 Author: felixonmars Revision: 1269794 upgpkg: haskell-what4 1.3-12: rebuild with base-orphans 0.8.7 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-08-18 Thread Felix Yan via arch-commits
Date: Thursday, August 18, 2022 @ 16:05:40 Author: felixonmars Revision: 1267566 upgpkg: haskell-what4 1.3-11: rebuild with lifted-async 0.10.2.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-08-15 Thread Felix Yan via arch-commits
Date: Monday, August 15, 2022 @ 21:03:06 Author: felixonmars Revision: 1266322 upgpkg: haskell-what4 1.3-10: rebuild with adjunctions 4.4.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-08-13 Thread Felix Yan via arch-commits
Date: Saturday, August 13, 2022 @ 10:18:24 Author: felixonmars Revision: 1265937 upgpkg: haskell-what4 1.3-9: rebuild with libBF 0.6.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-08-09 Thread Felix Yan via arch-commits
Date: Tuesday, August 9, 2022 @ 17:53:02 Author: felixonmars Revision: 1264328 upgpkg: haskell-what4 1.3-8: rebuild with th-abstraction 0.4.4.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-08-08 Thread Felix Yan via arch-commits
Date: Monday, August 8, 2022 @ 19:28:09 Author: felixonmars Revision: 1262165 upgpkg: haskell-what4 1.3-7: rebuild with tasty 1.4.2.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

  1   2   3   4   >