this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "XGBOOST 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"}
15 "ocamlgraph" {>= "1.8.8"}
16 "ppx_deriving" {>= "4.4.1"}
17 "ppx_deriving_yojson" {>= "3.6.1"}
18 "csv" {>= "2.4"}
19 "odoc" {with-doc}
20]
21build: [
22 ["dune" "subst"] {dev}
23 [
24 "dune"
25 "build"
26 "-p"
27 name
28 "-j"
29 jobs
30 "--promote-install-files=false"
31 "@install"
32 "@runtest" {with-test}
33 "@doc" {with-doc}
34 ]
35 ["dune" "install" "-p" name "--create-install-files" name]
36]
37dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
38url {
39 src:
40 "https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.2/caisar-0.2.tbz"
41 checksum: [
42 "sha256=e56829b9e2564c1cd0ab01798cc2b3c9b8887be0180b1e260b6e93940bf5e069"
43 "sha512=fcd1b1bf4b32d4ece982acab59710c8f1fe33784f5e4a15bd85a14cd1b7db450f529a0bfca31009a919008312149a25c6ea7ec3272d524a1e4c026eeeff7d5a3"
44 ]
45}
46x-commit-hash: "c056742afad31eed9fdea0f89f8143f0f0cb382e"