From 0c017c9238cdce88c21a8d38f6d38607bce0da5b Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Mon, 29 Jul 2024 15:38:39 +0200
Subject: [PATCH 1/2] [new release] caisar (2.1)

CHANGES:

- [test] Increased the test coverage of CAISAR.

- [dependencies] Updated dependencies (Why3 and Base).
---
 packages/caisar/caisar.2.1/opam | 63 +++++++++++++++++++++++++++++++++
 1 file changed, 63 insertions(+)
 create mode 100644 packages/caisar/caisar.2.1/opam

diff --git a/packages/caisar/caisar.2.1/opam b/packages/caisar/caisar.2.1/opam
new file mode 100644
index 00000000000..9a9f530755c
--- /dev/null
+++ b/packages/caisar/caisar.2.1/opam
@@ -0,0 +1,63 @@
+opam-version: "2.0"
+synopsis:
+  "A platform for characterizing the safety and robustness of artificial intelligence based software"
+maintainer: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
+authors: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
+license: "LGPL-2.1-only"
+homepage: "https://git.frama-c.com/pub/caisar"
+doc: "https://git.frama-c.com/pub/caisar"
+bug-reports: "https://git.frama-c.com/pub/caisar/issues"
+depends: [
+  "dune" {>= "3.12"}
+  "ocaml" {>= "4.13"}
+  "dune-site" {>= "2.9.0"}
+  "zarith" {>= "1.7"}
+  "ocplib-endian" {>= "1.0"}
+  "base" {>= "v0.15.0"}
+  "stdio" {>= "v0.14.0"}
+  "cmdliner" {>= "1.1.1"}
+  "fmt" {>= "0.8.9"}
+  "logs" {>= "0.7.0"}
+  "yojson" {>= "1.7.0"}
+  "menhirLib" {>= "20210310"}
+  "csv" {>= "2.4"}
+  "why3" {>= "1.7.0"}
+  "re" {>= "1.10.4"}
+  "fpath" {>= "0.7.3"}
+  "yaml" {>= "3.1.0"}
+  "ocaml-protoc-plugin" {>= "4.2.0"}
+  "stdio" {>= "v0.14.0"}
+  "ocamlgraph" {>= "1.8.8"}
+  "ppx_deriving" {>= "5.1"}
+  "ppx_inline_test" {>= "0.12.0"}
+  "conf-texlive" {>= "1" & with-test}
+  "conf-python-3" {>= "9.0.0" & with-test}
+  "ppx_deriving_yojson" {>= "3.6.1"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
+url {
+  src:
+    "https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/2.1/caisar-2.1.tbz"
+  checksum: [
+    "sha256=1b25c8668d428bcfc83c95147b6e45ff0a3bfa05ecd11369d12e963e29819e2e"
+    "sha512=edc7d7c0e96802811de3cb1caa3d14cc3d867ee7310748e8188eca9246a362549545c7816c8037511931dc4b7770b5ccc11b0d03abe8843b7c4db7880bf8e1fd"
+  ]
+}
+x-commit-hash: "eb6cb41d5347f67a527b535510d9f7694f76744e"

From 08ab88feaf8f141dd6e5f352d3cc47113d49a3b9 Mon Sep 17 00:00:00 2001
From: Marcello Seri <mseri@users.noreply.github.com>
Date: Tue, 30 Jul 2024 09:38:16 +0200
Subject: [PATCH 2/2] Update packages/caisar/caisar.2.1/opam

---
 packages/caisar/caisar.2.1/opam | 1 -
 1 file changed, 1 deletion(-)

diff --git a/packages/caisar/caisar.2.1/opam b/packages/caisar/caisar.2.1/opam
index 9a9f530755c..2910acc6806 100644
--- a/packages/caisar/caisar.2.1/opam
+++ b/packages/caisar/caisar.2.1/opam
@@ -46,7 +46,6 @@ build: [
     jobs
     "--promote-install-files=false"
     "@install"
-    "@runtest" {with-test}
     "@doc" {with-doc}
   ]
   ["dune" "install" "-p" name "--create-install-files" name]