this repo has no description
Merge pull request #26025 from filipeom/opam-publish-smtml.0.1.1
Package smtml.0.1.1
authored by
Marcello Seri
and committed by
GitHub
ac106a06
5397b090
+50
+50
packages/smtml/smtml.0.1.1/opam
+50
packages/smtml/smtml.0.1.1/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "A Front-end library for SMT solvers in OCaml"
4
+
description: "A Multi Back-end Front-end for SMT Solvers in OCaml."
5
+
maintainer: ["Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"]
6
+
authors: ["Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"]
7
+
license: "GPL-3.0-only"
8
+
homepage: "https://github.com/formalsec/smtml"
9
+
doc: "https://formalsec.github.io/smtml/smtml/index.html"
10
+
bug-reports: "https://github.com/formalsec/smtml/issues"
11
+
depends: [
12
+
"dune" {>= "3.14"}
13
+
"ocaml" {>= "4.14.0"}
14
+
"ocaml_intrinsics"
15
+
"z3" {>= "4.12.2" & < "4.13"}
16
+
"menhir" {build & >= "20220210"}
17
+
"cmdliner" {>= "1.2.0"}
18
+
"zarith" {>= "1.5"}
19
+
"odoc" {with-doc}
20
+
"hc" {>= "0.3"}
21
+
"bisect_ppx" {with-test & >= "2.5.0" & dev}
22
+
]
23
+
depopts: [
24
+
"colibri2"
25
+
"bitwuzla-cxx" {>= "0.4.0"}
26
+
"cvc5"
27
+
]
28
+
build: [
29
+
["dune" "subst"] {dev}
30
+
[
31
+
"dune"
32
+
"build"
33
+
"-p"
34
+
name
35
+
"-j"
36
+
jobs
37
+
"@install"
38
+
"@runtest" {with-test}
39
+
"@doc" {with-doc}
40
+
]
41
+
]
42
+
dev-repo: "git+https://github.com/formalsec/smtml.git"
43
+
available: arch != "arm32" & arch != "x86_32"
44
+
url {
45
+
src: "https://github.com/formalsec/smtml/archive/refs/tags/v0.1.1.tar.gz"
46
+
checksum: [
47
+
"md5=d05fc0acfe533234995c50c5264e20f1"
48
+
"sha512=63e057f40c8d5261493b5d7a03bcf073598dfa10c43b22b177fb24f8292e78753a051ae28e1d5a62d3c6725a7a32a9f1431f4c5f256f679d1a4b2b4c875f084b"
49
+
]
50
+
}