Date: Monday, February 13, 2023 @ 01:55:59 Author: felixonmars Revision: 1400191
upgpkg: cryptol 2.13.0-92: rebuild with mod 0.2.0.0 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2023-02-13 01:51:34 UTC (rev 1400190) +++ PKGBUILD 2023-02-13 01:55:59 UTC (rev 1400191) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.13.0 -pkgrel=91 +pkgrel=92 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net"; license=("BSD") @@ -15,9 +15,14 @@ 'haskell-simple-smt' 'haskell-strict' 'haskell-temporary' 'haskell-tf-random' 'haskell-transformers-base' 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html') makedepends=('ghc' 'uusi' 'alex' 'happy') -source=("https://github.com/GaloisInc/cryptol/archive/$pkgver/$pkgname-$pkgver.tar.gz";) -sha512sums=('232a91964379f8638a41845bc30040e42ded53089410f4f1ecd5649d2cc7811994963c3c3061710c5712eeaeb1813eb409c65197372cac64b5babbc7e99b2296') +source=(https://hackage.haskell.org/packages/archive/${pkgname}/${pkgver}/${pkgname}-${pkgver}.tar.gz) +sha512sums=('a4979ca1a11fbbfb5f2f4741fa15ece50c76c84a194eea44844c4e88b4a371796e245be3b061429966db0f4013ca799b6096e152db7166c9d5833db654dc2121') +prepare() { + cd $pkgname-$pkgver + uusi -u what4 cryptol.cabal +} + build() { cd $pkgname-$pkgver
