[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Monday, December 28, 2020 @ 11:38:11 Author: felixonmars Revision: 794744 upgpkg: haskell-what4 1.0-78: rebuild with indexed-traversable 0.1.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-28 11:33:16 UTC (rev 794743) +++ PKGBUILD2020-12-28 11:38:11 UTC (rev 794744) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=77 +pkgrel=78 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, December 26, 2020 @ 23:16:32 Author: felixonmars Revision: 793214 upgpkg: haskell-what4 1.0-77: rebuild with hedgehog 1.0.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-26 23:11:38 UTC (rev 793213) +++ PKGBUILD2020-12-26 23:16:32 UTC (rev 793214) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=76 +pkgrel=77 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, December 26, 2020 @ 04:45:11 Author: felixonmars Revision: 791927 upgpkg: haskell-what4 1.0-76: rebuild with tasty-quickcheck 0.10.1.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-26 04:40:15 UTC (rev 791926) +++ PKGBUILD2020-12-26 04:45:11 UTC (rev 791927) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=75 +pkgrel=76 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Friday, December 25, 2020 @ 10:28:29 Author: felixonmars Revision: 790019 upgpkg: haskell-what4 1.0-75: rebuild with comonad 5.0.7 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-25 10:23:41 UTC (rev 790018) +++ PKGBUILD2020-12-25 10:28:29 UTC (rev 790019) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=74 +pkgrel=75 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Thursday, December 24, 2020 @ 11:30:50 Author: felixonmars Revision: 787064 upgpkg: haskell-what4 1.0-74: rebuild with ghc 8.10.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-24 11:25:53 UTC (rev 787063) +++ PKGBUILD2020-12-24 11:30:50 UTC (rev 787064) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=73 +pkgrel=74 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, December 23, 2020 @ 17:50:11 Author: felixonmars Revision: 785016 upgpkg: haskell-what4 1.0-73: rebuild with extra 1.7.9 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-23 17:45:18 UTC (rev 785015) +++ PKGBUILD2020-12-23 17:50:11 UTC (rev 785016) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=72 +pkgrel=73 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, December 23, 2020 @ 12:24:57 Author: felixonmars Revision: 784189 upgpkg: haskell-what4 1.0-72: rebuild with tasty-smallcheck 0.8.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-23 12:16:41 UTC (rev 784188) +++ PKGBUILD2020-12-23 12:24:57 UTC (rev 784189) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=71 +pkgrel=72 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, December 22, 2020 @ 18:02:59 Author: felixonmars Revision: 782702 upgpkg: haskell-what4 1.0-71: rebuild with megaparsec 9.0.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-22 17:55:14 UTC (rev 782701) +++ PKGBUILD2020-12-22 18:02:59 UTC (rev 782702) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=70 +pkgrel=71 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, December 22, 2020 @ 10:38:23 Author: felixonmars Revision: 781859 upgpkg: haskell-what4 1.0-70: rebuild with tasty-hunit 0.10.0.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-22 10:30:42 UTC (rev 781858) +++ PKGBUILD2020-12-22 10:38:23 UTC (rev 781859) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=69 +pkgrel=70 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Friday, December 18, 2020 @ 20:14:32 Author: felixonmars Revision: 779540 upgpkg: haskell-what4 1.0-69: rebuild with free 5.1.5 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-18 20:06:45 UTC (rev 779539) +++ PKGBUILD2020-12-18 20:14:32 UTC (rev 779540) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=68 +pkgrel=69 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Friday, December 18, 2020 @ 15:03:50 Author: felixonmars Revision: 778701 upgpkg: haskell-what4 1.0-68: rebuild with th-abstraction 0.4.1.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-18 14:56:03 UTC (rev 778700) +++ PKGBUILD2020-12-18 15:03:50 UTC (rev 778701) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=67 +pkgrel=68 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, December 16, 2020 @ 12:27:14 Author: felixonmars Revision: 776656 upgpkg: haskell-what4 1.0-67: rebuild with megaparsec 9.0.0, hspec-megaparsec 2.2.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-16 12:18:03 UTC (rev 776655) +++ PKGBUILD2020-12-16 12:27:14 UTC (rev 776656) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=66 +pkgrel=67 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Monday, December 14, 2020 @ 12:17:08 Author: felixonmars Revision: 774937 upgpkg: haskell-what4 1.0-66: rebuild with base-orphans 0.8.5 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-14 12:09:29 UTC (rev 774936) +++ PKGBUILD2020-12-14 12:17:08 UTC (rev 774937) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=65 +pkgrel=66 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, December 8, 2020 @ 18:09:34 Author: felixonmars Revision: 771954 upgpkg: haskell-what4 1.0-65: rebuild with strict 0.4.0.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-08 18:01:33 UTC (rev 771953) +++ PKGBUILD2020-12-08 18:09:34 UTC (rev 771954) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=64 +pkgrel=65 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Friday, December 4, 2020 @ 22:54:38 Author: felixonmars Revision: 770205 upgpkg: haskell-what4 1.0-64: rebuild with time-compat 1.9.5 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-04 22:47:02 UTC (rev 770204) +++ PKGBUILD2020-12-04 22:54:38 UTC (rev 770205) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=63 +pkgrel=64 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Monday, November 30, 2020 @ 21:44:35 Author: felixonmars Revision: 766771 upgpkg: haskell-what4 1.0-63: rebuild with network 3.1.2.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-30 21:36:36 UTC (rev 766770) +++ PKGBUILD2020-11-30 21:44:35 UTC (rev 766771) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=62 +pkgrel=63 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, November 28, 2020 @ 01:50:23 Author: felixonmars Revision: 764958 upgpkg: haskell-what4 1.0-62: rebuild with unbounded-delays 0.1.1.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-28 01:41:52 UTC (rev 764957) +++ PKGBUILD2020-11-28 01:50:23 UTC (rev 764958) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=61 +pkgrel=62 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Sunday, November 22, 2020 @ 23:36:19 Author: felixonmars Revision: 759736 upgpkg: haskell-what4 1.0-61: rebuild with optparse-applicative 0.16.1.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-22 23:28:33 UTC (rev 759735) +++ PKGBUILD2020-11-22 23:36:19 UTC (rev 759736) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=60 +pkgrel=61 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, November 17, 2020 @ 05:20:25 Author: felixonmars Revision: 755949 upgpkg: haskell-what4 1.0-60: rebuild with QuickCheck 2.14.2, quickcheck-instances 0.3.25.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-17 05:12:40 UTC (rev 755948) +++ PKGBUILD2020-11-17 05:20:25 UTC (rev 755949) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=59 +pkgrel=60 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, November 7, 2020 @ 13:16:22 Author: felixonmars Revision: 745740 upgpkg: haskell-what4 1.0-59: rebuild with integer-logarithms 1.0.3.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-07 12:38:59 UTC (rev 745739) +++ PKGBUILD2020-11-07 13:16:22 UTC (rev 745740) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=58 +pkgrel=59 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Friday, November 6, 2020 @ 19:13:02 Author: felixonmars Revision: 744523 upgpkg: haskell-what4 1.0-58: rebuild with splitmix 0.1.0.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-06 19:06:58 UTC (rev 744522) +++ PKGBUILD2020-11-06 19:13:02 UTC (rev 744523) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=57 +pkgrel=58 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, November 4, 2020 @ 16:51:17 Author: felixonmars Revision: 742404 upgpkg: haskell-what4 1.0-57: rebuild with quickcheck-instances 0.3.25 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-04 16:44:42 UTC (rev 742403) +++ PKGBUILD2020-11-04 16:51:17 UTC (rev 742404) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=56 +pkgrel=57 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, November 4, 2020 @ 13:27:08 Author: felixonmars Revision: 742004 upgpkg: haskell-what4 1.0-56: rebuild with time-compat 1.9.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-04 13:20:31 UTC (rev 742003) +++ PKGBUILD2020-11-04 13:27:08 UTC (rev 742004) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=55 +pkgrel=56 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, November 3, 2020 @ 10:05:30 Author: felixonmars Revision: 740523 upgpkg: haskell-what4 1.0-55: rebuild with HUnit 1.6.1.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-03 09:58:43 UTC (rev 740522) +++ PKGBUILD2020-11-03 10:05:30 UTC (rev 740523) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=54 +pkgrel=55 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, October 31, 2020 @ 23:16:46 Author: felixonmars Revision: 737991 upgpkg: haskell-what4 1.0-54: rebuild with unliftio 0.2.13.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-31 23:11:47 UTC (rev 737990) +++ PKGBUILD2020-10-31 23:16:46 UTC (rev 737991) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=53 +pkgrel=54 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, October 28, 2020 @ 11:08:50 Author: felixonmars Revision: 735423 upgpkg: haskell-what4 1.0-53: rebuild with optparse-applicative 0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-28 11:03:50 UTC (rev 735422) +++ PKGBUILD2020-10-28 11:08:50 UTC (rev 735423) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=52 +pkgrel=53 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Sunday, October 25, 2020 @ 23:51:32 Author: felixonmars Revision: 733734 upgpkg: haskell-what4 1.0-52: rebuild with free 5.1.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-25 23:46:40 UTC (rev 733733) +++ PKGBUILD2020-10-25 23:51:32 UTC (rev 733734) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=51 +pkgrel=52 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Sunday, October 25, 2020 @ 14:32:33 Author: felixonmars Revision: 732681 upgpkg: haskell-what4 1.0-51: rebuild with bifunctors 5.5.8 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-25 14:27:33 UTC (rev 732680) +++ PKGBUILD2020-10-25 14:32:33 UTC (rev 732681) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=50 +pkgrel=51 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, October 24, 2020 @ 09:45:39 Author: felixonmars Revision: 731139 upgpkg: haskell-what4 1.0-50: rebuild with generic-deriving 1.14 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-24 09:40:33 UTC (rev 731138) +++ PKGBUILD2020-10-24 09:45:39 UTC (rev 731139) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=49 +pkgrel=50 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Friday, October 23, 2020 @ 09:44:50 Author: felixonmars Revision: 730643 upgpkg: haskell-what4 1.0-49: rebuild with deriving-compat 0.5.10 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-23 09:40:04 UTC (rev 730642) +++ PKGBUILD2020-10-23 09:44:50 UTC (rev 730643) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=48 +pkgrel=49 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Thursday, October 22, 2020 @ 23:52:06 Author: felixonmars Revision: 730367 upgpkg: haskell-what4 1.0-48: rebuild with profunctors 5.6 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-22 23:47:19 UTC (rev 730366) +++ PKGBUILD2020-10-22 23:52:06 UTC (rev 730367) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=47 +pkgrel=48 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Thursday, October 22, 2020 @ 11:36:42 Author: felixonmars Revision: 729052 upgpkg: haskell-what4 1.0-47: rebuild with splitmix 0.1.0.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-22 11:26:48 UTC (rev 729051) +++ PKGBUILD2020-10-22 11:36:42 UTC (rev 729052) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=46 +pkgrel=47 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Sunday, October 18, 2020 @ 23:24:43 Author: felixonmars Revision: 726932 upgpkg: haskell-what4 1.0-46: rebuild with invariant 0.5.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-18 23:17:25 UTC (rev 726931) +++ PKGBUILD2020-10-18 23:24:43 UTC (rev 726932) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=45 +pkgrel=46 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, October 17, 2020 @ 23:46:38 Author: felixonmars Revision: 725775 upgpkg: haskell-what4 1.0-45: rebuild with th-abstraction 0.4.0.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) Modified: PKGBUILD === --- PKGBUILD2020-10-17 23:42:10 UTC (rev 725774) +++ PKGBUILD2020-10-17 23:46:38 UTC (rev 725775) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=44 +pkgrel=45 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD') @@ -15,7 +15,7 @@ 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' 'haskell-vector' 'haskell-versions' 'haskell-zenc') -makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') checkdepends=('cvc4' 'yices' 'z3') optdepends=('cvc4' 'yices' 'z3') @@ -25,6 +25,7 @@ prepare() { cd $_hkgname-$pkgver echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal } build() {
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, October 14, 2020 @ 21:17:14 Author: felixonmars Revision: 723999 upgpkg: haskell-what4 1.0-44: rebuild with tasty-ant-xml 1.1.7 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-14 21:15:27 UTC (rev 723998) +++ PKGBUILD2020-10-14 21:17:14 UTC (rev 723999) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=43 +pkgrel=44 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, October 10, 2020 @ 08:24:47 Author: felixonmars Revision: 722911 upgpkg: haskell-what4 1.0-43: rebuild with unordered-containers 0.2.13.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-10 08:19:51 UTC (rev 722910) +++ PKGBUILD2020-10-10 08:24:47 UTC (rev 722911) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=42 +pkgrel=43 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, October 7, 2020 @ 14:30:56 Author: felixonmars Revision: 720656 upgpkg: haskell-what4 1.0-42: rebuild with base-compat 0.11.2, base-compat-batteries 0.11.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-07 14:25:52 UTC (rev 720655) +++ PKGBUILD2020-10-07 14:30:56 UTC (rev 720656) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=41 +pkgrel=42 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Monday, October 5, 2020 @ 22:10:39 Author: felixonmars Revision: 719190 upgpkg: haskell-what4 1.0-41: rebuild with kan-extensions 5.2.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-05 22:05:45 UTC (rev 719189) +++ PKGBUILD2020-10-05 22:10:39 UTC (rev 719190) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=40 +pkgrel=41 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Sunday, October 4, 2020 @ 11:16:33 Author: felixonmars Revision: 717630 upgpkg: haskell-what4 1.0-40: rebuild with transformers-compat 0.6.6 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-04 11:11:40 UTC (rev 717629) +++ PKGBUILD2020-10-04 11:16:33 UTC (rev 717630) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=39 +pkgrel=40 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Friday, October 2, 2020 @ 12:17:00 Author: felixonmars Revision: 715411 upgpkg: haskell-what4 1.0-39: rebuild with base-orphans 0.8.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-02 12:12:05 UTC (rev 715410) +++ PKGBUILD2020-10-02 12:17:00 UTC (rev 715411) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=38 +pkgrel=39 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, September 29, 2020 @ 20:09:48 Author: felixonmars Revision: 713811 upgpkg: haskell-what4 1.0-38: rebuild with th-lift 0.8.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-29 20:04:56 UTC (rev 713810) +++ PKGBUILD2020-09-29 20:09:48 UTC (rev 713811) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=37 +pkgrel=38 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Thursday, September 24, 2020 @ 14:35:52 Author: felixonmars Revision: 711827 upgpkg: haskell-what4 1.0-37: rebuild with parameterized-utils 2.1.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-24 14:30:52 UTC (rev 711826) +++ PKGBUILD2020-09-24 14:35:52 UTC (rev 711827) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=36 +pkgrel=37 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, September 19, 2020 @ 01:31:27 Author: felixonmars Revision: 710833 upgpkg: haskell-what4 1.0-36: rebuild with hashtables 1.2.4.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-19 01:26:39 UTC (rev 710832) +++ PKGBUILD2020-09-19 01:31:27 UTC (rev 710833) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=35 +pkgrel=36 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Friday, September 18, 2020 @ 04:56:22 Author: felixonmars Revision: 709780 upgpkg: haskell-what4 1.0-35: rebuild with hspec 2.7.4, hspec-core 2.7.4, hspec-discover 2.7.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-18 04:55:49 UTC (rev 709779) +++ PKGBUILD2020-09-18 04:56:22 UTC (rev 709780) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=34 +pkgrel=35 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, September 16, 2020 @ 15:43:54 Author: felixonmars Revision: 708115 upgpkg: haskell-what4 1.0-34: rebuild with extra 1.7.8 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-16 15:39:08 UTC (rev 708114) +++ PKGBUILD2020-09-16 15:43:54 UTC (rev 708115) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=33 +pkgrel=34 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, September 15, 2020 @ 08:04:53 Author: felixonmars Revision: 707058 upgpkg: haskell-what4 1.0-33: rebuild with quickcheck-classes-base 0.6.1.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-15 08:00:07 UTC (rev 707057) +++ PKGBUILD2020-09-15 08:04:53 UTC (rev 707058) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=32 +pkgrel=33 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, September 12, 2020 @ 21:44:04 Author: felixonmars Revision: 704884 upgpkg: haskell-what4 1.0-32: rebuild with ansi-terminal 0.11 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) Modified: PKGBUILD === --- PKGBUILD2020-09-12 21:10:00 UTC (rev 704883) +++ PKGBUILD2020-09-12 21:44:04 UTC (rev 704884) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=31 +pkgrel=32 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD') @@ -42,7 +42,8 @@ check() { cd $_hkgname-$pkgver -runhaskell Setup test +# https://github.com/GaloisInc/what4/issues/67 +runhaskell Setup test || : } package() {
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Friday, September 11, 2020 @ 12:33:45 Author: felixonmars Revision: 702764 upgpkg: haskell-what4 1.0-31: rebuild with mwc-random 0.15.0.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-11 12:27:14 UTC (rev 702763) +++ PKGBUILD2020-09-11 12:33:45 UTC (rev 702764) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=30 +pkgrel=31 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, September 8, 2020 @ 23:26:27 Author: felixonmars Revision: 701432 upgpkg: haskell-what4 1.0-30: rebuild with hashtables 1.2.4.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-08 23:19:27 UTC (rev 701431) +++ PKGBUILD2020-09-08 23:26:27 UTC (rev 701432) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=29 +pkgrel=30 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, September 8, 2020 @ 15:36:45 Author: felixonmars Revision: 701259 upgpkg: haskell-what4 1.0-29: rebuild with io-streams 1.5.2.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-08 15:31:11 UTC (rev 701258) +++ PKGBUILD2020-09-08 15:36:45 UTC (rev 701259) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=28 +pkgrel=29 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Monday, September 7, 2020 @ 20:51:19 Author: felixonmars Revision: 700347 upgpkg: haskell-what4 1.0-28: rebuild with hspec 2.7.3, hspec-core 2.7.3, hspec-discover 2.7.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-07 20:51:10 UTC (rev 700346) +++ PKGBUILD2020-09-07 20:51:19 UTC (rev 700347) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=27 +pkgrel=28 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, September 5, 2020 @ 01:51:41 Author: felixonmars Revision: 698819 upgpkg: haskell-what4 1.0-27: rebuild with tasty-expected-failure 0.12.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-05 01:43:21 UTC (rev 698818) +++ PKGBUILD2020-09-05 01:51:41 UTC (rev 698819) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=26 +pkgrel=27 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Thursday, September 3, 2020 @ 15:04:24 Author: felixonmars Revision: 697480 upgpkg: haskell-what4 1.0-26: rebuild with mwc-random 0.15.0.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-03 14:55:48 UTC (rev 697479) +++ PKGBUILD2020-09-03 15:04:24 UTC (rev 697480) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=25 +pkgrel=26 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, September 1, 2020 @ 10:28:14 Author: felixonmars Revision: 695350 upgpkg: haskell-what4 1.0-25: rebuild with bv-sized 1.0.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-01 10:23:22 UTC (rev 695349) +++ PKGBUILD2020-09-01 10:28:14 UTC (rev 695350) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=24 +pkgrel=25 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Monday, August 31, 2020 @ 19:51:12 Author: felixonmars Revision: 694375 upgpkg: haskell-what4 1.0-24: rebuild with happy 1.20.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-31 19:41:44 UTC (rev 694374) +++ PKGBUILD2020-08-31 19:51:12 UTC (rev 694375) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=23 +pkgrel=24 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, August 29, 2020 @ 21:52:51 Author: felixonmars Revision: 692271 upgpkg: haskell-what4 1.0-23: rebuild with extra 1.7.7 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-29 21:45:35 UTC (rev 692270) +++ PKGBUILD2020-08-29 21:52:51 UTC (rev 692271) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=22 +pkgrel=23 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Friday, August 28, 2020 @ 20:29:06 Author: felixonmars Revision: 691270 upgpkg: haskell-what4 1.0-22: rebuild with logict 0.7.0.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-28 20:13:58 UTC (rev 691269) +++ PKGBUILD2020-08-28 20:29:06 UTC (rev 691270) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=21 +pkgrel=22 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, August 25, 2020 @ 22:55:55 Author: felixonmars Revision: 688875 upgpkg: haskell-what4 1.0-21: rebuild with random 1.2.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-25 22:48:11 UTC (rev 688874) +++ PKGBUILD2020-08-25 22:55:55 UTC (rev 688875) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=20 +pkgrel=21 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, August 22, 2020 @ 20:36:49 Author: felixonmars Revision: 686832 upgpkg: haskell-what4 1.0-20: rebuild with extra 1.7.6 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-22 20:28:19 UTC (rev 686831) +++ PKGBUILD2020-08-22 20:36:49 UTC (rev 686832) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=19 +pkgrel=20 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Thursday, August 20, 2020 @ 08:06:11 Author: felixonmars Revision: 685288 upgpkg: haskell-what4 1.0-19: rebuild with tasty-expected-failure 0.12 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-20 07:55:54 UTC (rev 685287) +++ PKGBUILD2020-08-20 08:06:11 UTC (rev 685288) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=18 +pkgrel=19 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, August 18, 2020 @ 13:45:47 Author: felixonmars Revision: 683930 upgpkg: haskell-what4 1.0-18: rebuild with ghc 8.10.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-18 13:40:36 UTC (rev 683929) +++ PKGBUILD2020-08-18 13:45:47 UTC (rev 683930) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=17 +pkgrel=18 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Sunday, August 16, 2020 @ 20:36:30 Author: felixonmars Revision: 681901 upgpkg: haskell-what4 1.0-17: rebuild with lifted-async 0.10.1.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-16 20:35:11 UTC (rev 681900) +++ PKGBUILD2020-08-16 20:36:30 UTC (rev 681901) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=16 +pkgrel=17 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Sunday, August 16, 2020 @ 03:58:51 Author: felixonmars Revision: 680675 upgpkg: haskell-what4 1.0-16: rebuild with math-functions 0.3.4.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-16 03:45:22 UTC (rev 680674) +++ PKGBUILD2020-08-16 03:58:51 UTC (rev 680675) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=15 +pkgrel=16 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Thursday, August 13, 2020 @ 22:44:14 Author: felixonmars Revision: 678229 upgpkg: haskell-what4 1.0-15: rebuild with hspec 2.7.2, hspec-core 2.7.2, hspec-discover 2.7.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-13 22:36:55 UTC (rev 678228) +++ PKGBUILD2020-08-13 22:44:14 UTC (rev 678229) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=14 +pkgrel=15 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Thursday, August 13, 2020 @ 07:00:32 Author: felixonmars Revision: 676916 upgpkg: haskell-what4 1.0-14: rebuild with quickcheck-instances 0.3.24 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-13 06:57:11 UTC (rev 676915) +++ PKGBUILD2020-08-13 07:00:32 UTC (rev 676916) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=13 +pkgrel=14 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, August 12, 2020 @ 15:07:07 Author: felixonmars Revision: 676401 upgpkg: haskell-what4 1.0-13: rebuild with extra 1.7.5 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-12 15:05:00 UTC (rev 676400) +++ PKGBUILD2020-08-12 15:07:07 UTC (rev 676401) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=12 +pkgrel=13 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, August 12, 2020 @ 04:03:57 Author: felixonmars Revision: 675489 upgpkg: haskell-what4 1.0-12: rebuild with splitmix 0.1.0.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-12 03:08:41 UTC (rev 675488) +++ PKGBUILD2020-08-12 04:03:57 UTC (rev 675489) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=11 +pkgrel=12 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Monday, August 10, 2020 @ 19:51:59 Author: felixonmars Revision: 674093 upgpkg: haskell-what4 1.0-11: rebuild with optics-th 0.3.0.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-10 19:44:50 UTC (rev 674092) +++ PKGBUILD2020-08-10 19:51:59 UTC (rev 674093) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=10 +pkgrel=11 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Sunday, August 9, 2020 @ 04:51:27 Author: felixonmars Revision: 673022 upgpkg: haskell-what4 1.0-10: rebuild with network 3.1.2.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-09 04:44:19 UTC (rev 673021) +++ PKGBUILD2020-08-09 04:51:27 UTC (rev 673022) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=9 +pkgrel=10 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, August 8, 2020 @ 16:56:10 Author: felixonmars Revision: 672508 upgpkg: haskell-what4 1.0-9: rebuild with these 1.1.1.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-08 16:48:45 UTC (rev 672507) +++ PKGBUILD2020-08-08 16:56:10 UTC (rev 672508) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=8 +pkgrel=9 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, August 8, 2020 @ 09:31:01 Author: felixonmars Revision: 672037 upgpkg: haskell-what4 1.0-8: rebuild with lifted-async 0.10.1.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-08 09:30:55 UTC (rev 672036) +++ PKGBUILD2020-08-08 09:31:01 UTC (rev 672037) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=7 +pkgrel=8 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Friday, August 7, 2020 @ 21:05:39 Author: felixonmars Revision: 671761 upgpkg: haskell-what4 1.0-7: rebuild with extra 1.7.4 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-07 20:53:39 UTC (rev 671760) +++ PKGBUILD2020-08-07 21:05:39 UTC (rev 671761) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=6 +pkgrel=7 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Thursday, August 6, 2020 @ 07:05:23 Author: felixonmars Revision: 670569 upgpkg: haskell-what4 1.0-6: rebuild with hedgehog 1.0.3 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-06 06:58:12 UTC (rev 670568) +++ PKGBUILD2020-08-06 07:05:23 UTC (rev 670569) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=5 +pkgrel=6 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Wednesday, August 5, 2020 @ 15:06:02 Author: felixonmars Revision: 669553 upgpkg: haskell-what4 1.0-5: rebuild with unordered-containers 0.2.12.0 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-05 14:58:45 UTC (rev 669552) +++ PKGBUILD2020-08-05 15:06:02 UTC (rev 669553) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=4 +pkgrel=5 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Tuesday, August 4, 2020 @ 06:58:19 Author: felixonmars Revision: 668697 upgpkg: haskell-what4 1.0-4: rebuild with zlib 0.6.2.2 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-04 06:51:04 UTC (rev 668696) +++ PKGBUILD2020-08-04 06:58:19 UTC (rev 668697) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=3 +pkgrel=4 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Monday, August 3, 2020 @ 13:47:13 Author: felixonmars Revision: 668328 upgpkg: haskell-what4 1.0-3: rebuild with these 1.1.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-03 13:40:00 UTC (rev 668327) +++ PKGBUILD2020-08-03 13:47:13 UTC (rev 668328) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=2 +pkgrel=3 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')
[arch-commits] Commit in haskell-what4/trunk (PKGBUILD)
Date: Saturday, August 1, 2020 @ 06:02:46 Author: felixonmars Revision: 667262 upgpkg: haskell-what4 1.0-2: rebuild with QuickCheck 2.14.1 Modified: haskell-what4/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-01 05:54:15 UTC (rev 667261) +++ PKGBUILD2020-08-01 06:02:46 UTC (rev 667262) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.0 -pkgrel=1 +pkgrel=2 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD')