.SRCINFO


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

pkgbase = squirrel-prover-git
	pkgdesc = a proof assistant dedicated to cryptographic protocols
	pkgver = latest
	pkgrel = 3
	url = https://github.com/squirrel-prover/squirrel-prover.git
	arch = x86_64
	license = MIT
	makedepends = dune
	makedepends = git
	makedepends = python3
	makedepends = opam
	depends = ocaml
	depends = grep
	source = squirrel-prover-git::git+https://github.com/squirrel-prover/squirrel-prover.git
	sha256sums = SKIP

pkgname = squirrel-prover-git