[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