From 7a2606bd3eeaa27289164569d630a490b922c11d Mon Sep 17 00:00:00 2001 From: Julien Girard <julien.girard2@cea.fr> Date: Mon, 19 Jun 2023 22:08:03 +0200 Subject: [PATCH] [release] Updated opam files for release --- caisar-ir.opam | 2 +- caisar-nnet.opam | 2 +- caisar-onnx.opam | 2 +- caisar-ovo.opam | 2 +- caisar.opam | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/caisar-ir.opam b/caisar-ir.opam index 6841ff21..98ea1897 100644 --- a/caisar-ir.opam +++ b/caisar-ir.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.1" +version: "0.2" synopsis: "CAISAR's intermediate representation" maintainer: [ "LAISER team, Software Safety and Security Laboratory, CEA-List" diff --git a/caisar-nnet.opam b/caisar-nnet.opam index 8cbd3bce..bdbceb34 100644 --- a/caisar-nnet.opam +++ b/caisar-nnet.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.1" +version: "0.2" synopsis: "NNet parser for CAISAR" maintainer: [ "LAISER team, Software Safety and Security Laboratory, CEA-List" diff --git a/caisar-onnx.opam b/caisar-onnx.opam index 2554b50a..cf26b6b3 100644 --- a/caisar-onnx.opam +++ b/caisar-onnx.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.1" +version: "0.2" synopsis: "ONNX parser for CAISAR" maintainer: [ "LAISER team, Software Safety and Security Laboratory, CEA-List" diff --git a/caisar-ovo.opam b/caisar-ovo.opam index 53a1963c..3ed5ce41 100644 --- a/caisar-ovo.opam +++ b/caisar-ovo.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.1" +version: "0.2" synopsis: "OVO parser for CAISAR" maintainer: [ "LAISER team, Software Safety and Security Laboratory, CEA-List" diff --git a/caisar.opam b/caisar.opam index a7bdf56d..4e40da1c 100644 --- a/caisar.opam +++ b/caisar.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.1" +version: "0.2" synopsis: "A platform for characterizing the safety and robustness of artificial intelligence based software" maintainer: [ -- GitLab