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.1/caisar-0.1.tbz"
38 checksum: [
39 "sha256=f41febdf9faa14c6ed1504791e7e96172997ca0bc26f421ad68a6c18893e92c4"
40 "sha512=364bc4d3a8dd7c8245ace10118c48db30a10749040bd655092e79c323c10bcdfc660a9b687335800988da0308d5fa1f1a8cb822eb8bcf857092e583bf94cce4d"
41 ]
42}
43x-commit-hash: "3d60c1bc15226e6613e3ba136ce99bb68338df7d"