this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "ONNX 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 "stdio" {>= "v0.14.0"}
16 "ocaml-protoc-plugin" {>= "4.2.0"}
17 "odoc" {with-doc}
18]
19build: [
20 ["dune" "subst"] {dev}
21 [
22 "dune"
23 "build"
24 "-p"
25 name
26 "-j"
27 jobs
28 "--promote-install-files=false"
29 "@install"
30 "@runtest" {with-test}
31 "@doc" {with-doc}
32 ]
33 ["dune" "install" "-p" name "--create-install-files" name]
34]
35dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
36url {
37 src:
38 "https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.1/caisar-0.1.tbz"
39 checksum: [
40 "sha256=f41febdf9faa14c6ed1504791e7e96172997ca0bc26f421ad68a6c18893e92c4"
41 "sha512=364bc4d3a8dd7c8245ace10118c48db30a10749040bd655092e79c323c10bcdfc660a9b687335800988da0308d5fa1f1a8cb822eb8bcf857092e583bf94cce4d"
42 ]
43}
44x-commit-hash: "3d60c1bc15226e6613e3ba136ce99bb68338df7d"