[arch-commits] Commit in cryptol/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Sun Aug 5 03:17:28 UTC 2018
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 <felixonmars at archlinux.org>
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
}
More information about the arch-commits
mailing list