diff options
author | Matěj Grabovský | 2018-01-08 16:14:24 +0100 |
---|---|---|
committer | Matěj Grabovský | 2018-01-08 16:14:24 +0100 |
commit | a9a2c28d621016d946e23b15d62c198f63844f25 (patch) | |
tree | 3a82a3fdad88b5209a7ab4c9c7a0e8ff631ddb35 /PKGBUILD | |
parent | 7ff819bfcba1094838078ec09d0dda16df1a2e19 (diff) | |
download | aur-a9a2c28d621016d946e23b15d62c198f63844f25.tar.gz |
Add dependencies in PKGBUILD
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,12 +1,14 @@ # Maintainer: Matej Grabovsky <matej.grabovsky at gmail> pkgname=proverif pkgver=1.98pl1 -pkgrel=1 +pkgrel=2 pkgdesc='Cryptographic protocol verifier in the formal model' arch=('i686' 'x86_64') url='http://prosecco.gforge.inria.fr/personal/bblanche/proverif/' license=('GPL') depends=('ocaml') +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') sha256sums=('3edd1f6d9b0a2b9b066300f78af57cbf17b4e529c1184dd1d7892f9a6cca9390') |