.SRCINFO


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

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

pkgname = psmt2-frontend-git