Skip to content
Snippets Groups Projects
Verified Commit 4d0cc9fc authored by Felix Yan's avatar Felix Yan
Browse files

upgpkg: 1.8.0-10: rebuild with vector 0.13.1.0

parent 62e49715
No related branches found
No related tags found
No related merge requests found
pkgbase = haskell-tamarin-prover-utils
pkgdesc = Utility library for the tamarin prover
pkgver = 1.8.0
pkgrel = 9
pkgrel = 10
url = http://www.infsec.ethz.ch/research/software/tamarin
arch = x86_64
license = GPL
......
......@@ -4,7 +4,7 @@
_hkgname=tamarin-prover-utils
pkgname=haskell-tamarin-prover-utils
pkgver=1.8.0
pkgrel=9
pkgrel=10
pkgdesc="Utility library for the tamarin prover"
url="http://www.infsec.ethz.ch/research/software/tamarin"
license=("GPL")
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment