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" {>= "3.0"}
13 "ocaml" {>= "4.13"}
14 "base" {>= "v0.14.0" & < "v0.17"}
15 "stdio" {>= "v0.14.0"}
16 "ocaml-protoc-plugin" {>= "4.2.0"}
17 "ocplib-endian" {>= "1.0"}
18 "caisar-ir" {= version}
19 "odoc" {with-doc}
20]
21conflicts: [ "result" {< "1.5"} ]
22build: [
23 ["dune" "subst"] {dev}
24 [
25 "dune"
26 "build"
27 "-p"
28 name
29 "-j"
30 jobs
31 "--promote-install-files=false"
32 "@install"
33 "@runtest" {with-test}
34 "@doc" {with-doc}
35 ]
36 ["dune" "install" "-p" name "--create-install-files" name]
37]
38dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
39url {
40 src:
41 "https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.2/caisar-0.2.tbz"
42 checksum: [
43 "sha256=e56829b9e2564c1cd0ab01798cc2b3c9b8887be0180b1e260b6e93940bf5e069"
44 "sha512=fcd1b1bf4b32d4ece982acab59710c8f1fe33784f5e4a15bd85a14cd1b7db450f529a0bfca31009a919008312149a25c6ea7ec3272d524a1e4c026eeeff7d5a3"
45 ]
46}
47x-commit-hash: "c056742afad31eed9fdea0f89f8143f0f0cb382e"