this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "NNet parser for CAISAR"
3maintainer: [
4 "LAISER team, Software Safety and Security Laboratory, CEA-List"
5]
6authors: ["LAISER team, Software Safety and Security Laboratory, CEA-List"]
7license: "LGPL-2.1-only"
8homepage: "https://git.frama-c.com/pub/caisar"
9doc: "https://git.frama-c.com/pub/caisar"
10bug-reports: "https://git.frama-c.com/pub/caisar/issues"
11depends: [
12 "dune" {>= "2.9"}
13 "ocaml" {>= "4.13"}
14 "base" {>= "v0.14.0" & < "v0.17"}
15 "csv" {>= "2.4"}
16 "odoc" {with-doc}
17]
18build: [
19 ["dune" "subst"] {dev}
20 [
21 "dune"
22 "build"
23 "-p"
24 name
25 "-j"
26 jobs
27 "--promote-install-files=false"
28 "@install"
29 "@runtest" {with-test}
30 "@doc" {with-doc}
31 ]
32 ["dune" "install" "-p" name "--create-install-files" name]
33]
34dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
35url {
36 src:
37 "https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.2/caisar-0.2.tbz"
38 checksum: [
39 "sha256=e56829b9e2564c1cd0ab01798cc2b3c9b8887be0180b1e260b6e93940bf5e069"
40 "sha512=fcd1b1bf4b32d4ece982acab59710c8f1fe33784f5e4a15bd85a14cd1b7db450f529a0bfca31009a919008312149a25c6ea7ec3272d524a1e4c026eeeff7d5a3"
41 ]
42}
43x-commit-hash: "c056742afad31eed9fdea0f89f8143f0f0cb382e"