blob: 7e41c44ca167358af17e4e27759d96d9d0cb02bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = ocaml-psmt2-frontend
pkgdesc = A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
pkgver = 0.2
pkgrel = 2
url = https://github.com/Coquera/psmt2-frontend
arch = x86_64
license = Apache2
makedepends = ocaml
makedepends = ocaml-menhir
depends = ocaml
source = ocaml-psmt2-frontend-0.2.tar.gz::https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.2.tar.gz
sha256sums = 59c25982fcdae1128dea6f260e76bbfd1dd4fe45b34aa168ae084281f4941303
pkgname = ocaml-psmt2-frontend
|