this repo has no description
Merge pull request #26305 from caisar-platform/release-caisar-2.1
[new release] caisar (2.1)
authored by
Marcello Seri
and committed by
GitHub
cfdf8396
55bacea8
+62
+62
packages/caisar/caisar.2.1/opam
+62
packages/caisar/caisar.2.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"A platform for characterizing the safety and robustness of artificial intelligence based software"
4
+
maintainer: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
5
+
authors: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
6
+
license: "LGPL-2.1-only"
7
+
homepage: "https://git.frama-c.com/pub/caisar"
8
+
doc: "https://git.frama-c.com/pub/caisar"
9
+
bug-reports: "https://git.frama-c.com/pub/caisar/issues"
10
+
depends: [
11
+
"dune" {>= "3.12"}
12
+
"ocaml" {>= "4.13"}
13
+
"dune-site" {>= "2.9.0"}
14
+
"zarith" {>= "1.7"}
15
+
"ocplib-endian" {>= "1.0"}
16
+
"base" {>= "v0.15.0"}
17
+
"stdio" {>= "v0.14.0"}
18
+
"cmdliner" {>= "1.1.1"}
19
+
"fmt" {>= "0.8.9"}
20
+
"logs" {>= "0.7.0"}
21
+
"yojson" {>= "1.7.0"}
22
+
"menhirLib" {>= "20210310"}
23
+
"csv" {>= "2.4"}
24
+
"why3" {>= "1.7.0"}
25
+
"re" {>= "1.10.4"}
26
+
"fpath" {>= "0.7.3"}
27
+
"yaml" {>= "3.1.0"}
28
+
"ocaml-protoc-plugin" {>= "4.2.0"}
29
+
"stdio" {>= "v0.14.0"}
30
+
"ocamlgraph" {>= "1.8.8"}
31
+
"ppx_deriving" {>= "5.1"}
32
+
"ppx_inline_test" {>= "0.12.0"}
33
+
"conf-texlive" {>= "1" & with-test}
34
+
"conf-python-3" {>= "9.0.0" & with-test}
35
+
"ppx_deriving_yojson" {>= "3.6.1"}
36
+
"odoc" {with-doc}
37
+
]
38
+
build: [
39
+
["dune" "subst"] {dev}
40
+
[
41
+
"dune"
42
+
"build"
43
+
"-p"
44
+
name
45
+
"-j"
46
+
jobs
47
+
"--promote-install-files=false"
48
+
"@install"
49
+
"@doc" {with-doc}
50
+
]
51
+
["dune" "install" "-p" name "--create-install-files" name]
52
+
]
53
+
dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
54
+
url {
55
+
src:
56
+
"https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/2.1/caisar-2.1.tbz"
57
+
checksum: [
58
+
"sha256=1b25c8668d428bcfc83c95147b6e45ff0a3bfa05ecd11369d12e963e29819e2e"
59
+
"sha512=edc7d7c0e96802811de3cb1caa3d14cc3d867ee7310748e8188eca9246a362549545c7816c8037511931dc4b7770b5ccc11b0d03abe8843b7c4db7880bf8e1fd"
60
+
]
61
+
}
62
+
x-commit-hash: "eb6cb41d5347f67a527b535510d9f7694f76744e"