blob: e4eaf91abe6bede1785956c055325f7fe02a27e2 (
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 = 1
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
|