Date: Sunday, August 5, 2018 @ 03:17:27 Author: felixonmars Revision: 368151
upgpkg: cryptol 2.6.0-1 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-08-05 03:10:04 UTC (rev 368150) +++ PKGBUILD 2018-08-05 03:17:27 UTC (rev 368151) @@ -2,24 +2,21 @@ # Maintainer: Felix Yan <[email protected]> pkgname=cryptol -pkgver=2.5.0.20180515 -_commit=9fccc0086700b0e409bd9b0989e52d62863c714e -pkgrel=60 +pkgver=2.6.0 +pkgrel=1 pkgdesc="The Language of Cryptography" url="http://www.cryptol.net"; license=("custom:BSD3") arch=('x86_64') -depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 'haskell-gitrev' 'haskell-graphscc' - 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 'haskell-random' 'haskell-sbv' +depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-gitrev' 'haskell-graphscc' 'haskell-heredoc' + 'haskell-monad-control' 'haskell-monadlib' 'haskell-panic' 'haskell-random' 'haskell-sbv' 'haskell-simple-smt' 'haskell-strict' 'haskell-tf-random' 'haskell-transformers-base' 'haskell-ansi-terminal' 'haskell-blaze-html') makedepends=('ghc' 'alex' 'happy') -source=("$pkgname-$_commit.tar.gz::https://github.com/GaloisInc/cryptol/archive/$_commit.tar.gz";) -sha512sums=('d9e98541b978acb8dafc5daf35a3fc75a523914e713b4cdc2e8e01a424b39556c625e2956dd495cabf67cf99cac0b4021563f0b62b2f355b1af0645dc8d9de1b') +source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz";) +sha512sums=('445a1656ffd0d260553e041de9b15b6257a4b068b5462d996e8207671c097ea814bc5b7aaeb527b5e9579bd8a3e5e8ced0aaf57c24fbccaa7410342a109e9325') prepare() { - mv $pkgname-$_commit $pkgname-$pkgver - cd $pkgname-$pkgver sed -i 's/<.*0.10/<1/' $pkgname.cabal }
