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]
32
33synopsis:
34 "A library to parse and type-check a conservative extension of the SMT-LIB 2
35 standard with prenex polymorphism"
36
37flags: light-uninstall
38
39url {
40 src: "https://github.com/Coquera/psmt2-frontend/archive/0.2.zip"
41 checksum: [
42 "sha256=5fd0cd4d5636cf7eea5ca1b517a49bcd7c2244f90bd4ae13dfa5da15bc1ec54f"
43 "md5=1b440803b737be2a6a8b979e55ef0b60"
44 ]
45}