Merge branch 'dev' of github.com:Psi-Prod/Mehari into dev

Psi-Prod · Jun 4, 2024 · 9a863cf · 9a863cf
2 parents 9b39743 + 610687a
commit 9a863cf
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -27,6 +27,8 @@
    (>= 4.14))
   (conan
    (>= 0.0.5))
+  (conan-database
+   (>= 0.0.5))
   (logs
    (>= 0.7.0))
   (re

diff --git a/mehari.opam b/mehari.opam
@@ -15,6 +15,7 @@ depends: [
   "dune" {>= "3.0"}
   "ocaml" {>= "4.14"}
   "conan" {>= "0.0.5"}
+  "conan-database" {>= "0.0.5"}
   "logs" {>= "0.7.0"}
   "re" {>= "1.10.4"}
   "tls" {>= "0.16.0"}