Date: Thursday, July 7, 2022 @ 13:51:51 Author: felixonmars Revision: 1248094
upgpkg: haskell-what4 1.2.1-156: rebuild with tasty-sugar 1.2.0.0 Modified: haskell-what4/trunk/PKGBUILD ----------+ PKGBUILD | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-07-07 13:51:02 UTC (rev 1248093) +++ PKGBUILD 2022-07-07 13:51:51 UTC (rev 1248094) @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.2.1 -pkgrel=155 +pkgrel=156 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD') @@ -31,6 +31,7 @@ cd $_hkgname-$pkgver patch -p2 -i ../hashable-1.4.patch gen-setup + uusi -u tasty-sugar $_hkgname.cabal } build() {
