diff options
author | Matěj Grabovský | 2018-01-08 16:50:53 +0100 |
---|---|---|
committer | Matěj Grabovský | 2018-01-08 16:51:03 +0100 |
commit | 441097df8485f1255d9fc9630d2bed380027ca4f (patch) | |
tree | 092cb2fc8d5017d0e95359315c07128cb6b6f67f | |
parent | a9a2c28d621016d946e23b15d62c198f63844f25 (diff) | |
download | aur-441097df8485f1255d9fc9630d2bed380027ca4f.tar.gz |
Fix syntax
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 4 insertions, 3 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Mon Jan 8 15:13:41 UTC 2018 +# Mon Jan 8 15:50:36 UTC 2018 pkgbase = proverif pkgdesc = Cryptographic protocol verifier in the formal model pkgver = 1.98pl1 @@ -8,7 +8,8 @@ pkgbase = proverif arch = i686 arch = x86_64 license = GPL - makedepends = ocaml-findlib lablgtk2 + makedepends = ocaml-findlib + makedepends = lablgtk2 depends = ocaml optdepends = graphviz: for displaying graphs of found attacks source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif1.98pl1.tar.gz @@ -7,7 +7,7 @@ arch=('i686' 'x86_64') url='http://prosecco.gforge.inria.fr/personal/bblanche/proverif/' license=('GPL') depends=('ocaml') -makedepends=('ocaml-findlib lablgtk2') +makedepends=('ocaml-findlib' 'lablgtk2') optdepends=('graphviz: for displaying graphs of found attacks') source=("http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif$pkgver.tar.gz") sha1sums=('a259e6f7e4730c635936836472a29b1d7a549bf7') |