this repo has no description
anil.recoil.org
1opam-version: "2.0"
2
3authors: "Albin Coquereau"
4maintainer: "Albin Coquereau"
5
6license: "Apache-2.0"
7homepage: "https://github.com/Coquera/psmt2-frontend"
8
9bug-reports: "https://github.com/Coquera/psmt2-frontend/issues"
10dev-repo: "git+https://github.com/Coquera/psmt2-frontend.git"
11build:[
12 ["autoconf"]
13 ["./configure" "-prefix" "%{prefix}%"]
14 [make]
15]
16
17
18install:[
19 [make "install"]
20]
21
22remove:[
23 ["ocamlfind" "remove" "psmt2-frontend"]
24]
25
26depends: [
27 "ocaml" {>= "4.04.0"}
28 "ocamlfind" {build}
29 "conf-autoconf" {build}
30 "menhir" {< "20211215"}
31]
32synopsis:
33 "A library to parse and type-check a conservative extension of the SMT-LIB 2"
34description: "standard with prenex polymorphism"
35flags: light-uninstall
36url {
37 src: "https://github.com/Coquera/psmt2-frontend/archive/0.1.zip"
38 checksum: [
39 "sha256=1a125274b4b23219efe3e5dcc850a35210d33b51bc5531d3f3112df7f5db3f35"
40 "md5=1eb0902c24ca84f5aefae876feb43d6e"
41 ]
42}