summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMatěj Grabovský2018-01-08 16:50:53 +0100
committerMatěj Grabovský2018-01-08 16:51:03 +0100
commit441097df8485f1255d9fc9630d2bed380027ca4f (patch)
tree092cb2fc8d5017d0e95359315c07128cb6b6f67f
parenta9a2c28d621016d946e23b15d62c198f63844f25 (diff)
downloadaur-441097df8485f1255d9fc9630d2bed380027ca4f.tar.gz
Fix syntax
-rw-r--r--.SRCINFO5
-rw-r--r--PKGBUILD2
2 files changed, 4 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index e0218d856ea2..e4cca3af0aba 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index f1aa7c2c9ff2..b8810d1f9b7a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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')