blob: 8f5b123c93ecaa40115ecaefd7e6d66434ec163a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Sat Nov 13 16:42:16 UTC 2021
pkgbase = cryptoverif
pkgdesc = Cryptographic protocol verifier in the computational model
pkgver = 2.05
pkgrel = 1
url = http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/
arch = i686
arch = x86_64
license = custom:CeCILL-B
depends = ocaml
optdepends = ocaml-cryptokit: compiling extracted implementations
source = http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif2.05.tar.gz
sha256sums = 179795379013628f48be98b679887dea4b6e4d651ea2a816311e01a87bbc105b
pkgname = cryptoverif
|