Date: Saturday, May 12, 2018 @ 16:07:22 Author: felixonmars Revision: 321094
upgpkg: haskell-simple-smt 0.8-1 rebuild with simple-smt,0.8 Modified: haskell-simple-smt/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-05-12 12:57:01 UTC (rev 321093) +++ PKGBUILD 2018-05-12 16:07:22 UTC (rev 321094) @@ -4,8 +4,8 @@ _hkgname=simple-smt pkgname=haskell-simple-smt -pkgver=0.7.1 -pkgrel=2 +pkgver=0.8 +pkgrel=1 pkgdesc="A simple way to interact with an SMT solver process" url="https://github.com/yav/simple-smt" license=("custom:BSD3") @@ -13,7 +13,7 @@ depends=('ghc-libs') makedepends=('ghc') source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz") -sha512sums=('512d3f04187ce5f9600cd627e91cf1c362c88eb5a13528d4627b078324b9713affcf8c30ed6846cf7bc0f3462c5cc47fe86092f42f648fcfd3aa93137561dea8') +sha512sums=('d3dcfbd5dca23fef9220e05b79502a624292cf96127c997730a1b878d77995d71494d2ddc88417026f29389639030c5f82b4ba18643effc93b577e19131e4bd8') build() { cd "${srcdir}/${_hkgname}-${pkgver}"
