this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "A platform for characterizing the safety and robustness of artificial intelligence based software"
4maintainer: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
5authors: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
6license: "LGPL-2.1-only"
7homepage: "https://git.frama-c.com/pub/caisar"
8doc: "https://git.frama-c.com/pub/caisar"
9bug-reports: "https://git.frama-c.com/pub/caisar/issues"
10depends: [
11 "dune" {>= "3.12"}
12 "ocaml" {>= "4.13"}
13 "dune-site" {>= "2.9.0"}
14 "zarith" {>= "1.7"}
15 "ocplib-endian" {>= "1.0"}
16 "base" {>= "v0.15.0"}
17 "stdio" {>= "v0.14.0"}
18 "cmdliner" {>= "1.1.1"}
19 "fmt" {>= "0.8.9"}
20 "logs" {>= "0.7.0"}
21 "yojson" {>= "1.7.0"}
22 "menhirLib" {>= "20210310"}
23 "csv" {>= "2.4"}
24 "why3" {>= "1.7" & < "1.8"}
25 "re" {>= "1.10.4" & < "1.12.0"}
26 "fpath" {>= "0.7.3"}
27 "yaml" {>= "3.1.0"}
28 "ocaml-protoc-plugin" {>= "4.2.0"}
29 "stdio" {>= "v0.14.0"}
30 "ocamlgraph" {>= "1.8.8"}
31 "ppx_deriving" {>= "5.1"}
32 "ppx_inline_test" {>= "0.12.0"}
33 "conf-texlive" {>= "1" & with-test}
34 "conf-python-3" {>= "9.0.0" & with-test}
35 "ppx_deriving_yojson" {>= "3.6.1"}
36 "odoc" {with-doc}
37]
38build: [
39 ["dune" "subst"] {dev}
40 [
41 "dune"
42 "build"
43 "-p"
44 name
45 "-j"
46 jobs
47 "--promote-install-files=false"
48 "@install"
49 "@doc" {with-doc}
50 ]
51 ["dune" "install" "-p" name "--create-install-files" name]
52]
53dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
54url {
55 src:
56 "https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/2.1/caisar-2.1.tbz"
57 checksum: [
58 "sha256=1b25c8668d428bcfc83c95147b6e45ff0a3bfa05ecd11369d12e963e29819e2e"
59 "sha512=edc7d7c0e96802811de3cb1caa3d14cc3d867ee7310748e8188eca9246a362549545c7816c8037511931dc4b7770b5ccc11b0d03abe8843b7c4db7880bf8e1fd"
60 ]
61}
62x-commit-hash: "eb6cb41d5347f67a527b535510d9f7694f76744e"