.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

pkgbase = proverif
	pkgdesc = Cryptographic protocol verifier in the formal model
	pkgver = 2.05
	pkgrel = 1
	url = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/
	arch = i686
	arch = x86_64
	license = GPL
	makedepends = ocamlbuild
	makedepends = ocaml-findlib
	depends = ocaml
	optdepends = graphviz: for displaying graphs of found attacks
	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif2.05.tar.gz
	sha1sums = bbcfcc49d0199e111292da3754b95ae7e7404db4
	sha256sums = 4871f53c32ab4a04669a060c4886ba5d9080496963fb980a9a62d2c429ceabc4

pkgname = proverif