.SRCINFO


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

pkgbase = ocaml-psmt2-frontend-git
	pkgdesc = A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
	pkgver = r22.bb35b53
	pkgrel = 1
	url = https://github.com/OCamlPro-Coquera/psmt2-frontend
	arch = i686
	arch = x86_64
	license = Apache2
	makedepends = ocaml
	makedepends = ocaml-menhir
	depends = ocaml
	provides = ocaml-psmt2-frontend
	conflicts = ocaml-psmt2-frontend
	options = !strip
	options = staticlibs
	source = git+https://github.com/OCamlPro-Coquera/psmt2-frontend.git
	md5sums = SKIP

pkgname = ocaml-psmt2-frontend-git