blob: 2b8553d41a8452c5661394675e3067cc6f46d206 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
pkgbase = ocaml-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 = ocaml-psmt2-frontend-git
|