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

upgpkg: 1.8.0-47: rebuild with OneTuple 0.4.1

parent a7df460c
No related branches found
Tags v20201112.0.8839
No related merge requests found
pkgbase = haskell-tamarin-prover-export pkgbase = haskell-tamarin-prover-export
pkgdesc = Library for export of processes in the Sapic calculus to the Proverif calculus pkgdesc = Library for export of processes in the Sapic calculus to the Proverif calculus
pkgver = 1.8.0 pkgver = 1.8.0
pkgrel = 46 pkgrel = 47
url = http://www.infsec.ethz.ch/research/software/tamarin url = http://www.infsec.ethz.ch/research/software/tamarin
arch = x86_64 arch = x86_64
license = GPL license = GPL
......
...@@ -4,7 +4,7 @@ ...@@ -4,7 +4,7 @@
_hkgname=tamarin-prover-export _hkgname=tamarin-prover-export
pkgname=haskell-tamarin-prover-export pkgname=haskell-tamarin-prover-export
pkgver=1.8.0 pkgver=1.8.0
pkgrel=46 pkgrel=47
pkgdesc="Library for export of processes in the Sapic calculus to the Proverif calculus" pkgdesc="Library for export of processes in the Sapic calculus to the Proverif calculus"
url="http://www.infsec.ethz.ch/research/software/tamarin" url="http://www.infsec.ethz.ch/research/software/tamarin"
license=("GPL") 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