Merge pull request #28568 from yarukha/opam-publish-cudd.0.1.3

Package cudd.0.1.3

Author: mseri

packages/cudd/cudd.0.1.3/opam

@@ -0,0 +1,75 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Minimal cudd bindings"
+maintainer: [
+  "Matthieu Lemerre <[email protected]>"
+  "Paul Robert <[email protected]>"
+]
+authors: [
+  "Matthieu Lemerre <[email protected]>"
+  "Paul Robert <[email protected]>"
+]
+license: "LGPL-2.1-only"
+homepage: "https://git.frama-c.com/pub/codex/cudd.ml"
+bug-reports: "https://git.frama-c.com/pub/codex/cudd.ml/-/issues"
+depends: [
+  "dune" {>= "3.18"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+x-maintenance-intent: ["(latest)"]
+############################################################################
+##  This file is part of the Codex semantics library.                     ##
+##                                                                        ##
+##  Copyright (C) 2013-2025                                               ##
+##    CEA (Commissariat à l'énergie atomique et aux énergies              ##
+##         alternatives)                                                  ##
+##                                                                        ##
+##  you can redistribute it and/or modify it under the terms of the GNU   ##
+##  Lesser General Public License as published by the Free Software       ##
+##  Foundation, version 2.1.                                              ##
+##                                                                        ##
+##  It is distributed in the hope that it will be useful,                 ##
+##  but WITHOUT ANY WARRANTY# without even the implied warranty of        ##
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         ##
+##  GNU Lesser General Public License for more details.                   ##
+##                                                                        ##
+##  See the GNU Lesser General Public License version 2.1                 ##
+##  for more details (enclosed in the file LICENSE).                      ##
+##                                                                        ##
+############################################################################
+
+
+
+dev-repo: "git+https://git.frama-c.com/pub/codex/cudd.ml.git"
+extra-source "cudd/cudd.tar.gz" {
+  src:
+    "https://github.com/ivmai/cudd/archive/refs/tags/cudd-3.0.0.tar.gz"
+  checksum: [
+    "sha256=5fe145041c594689e6e7cf4cd623d5f2b7c36261708be8c9a72aed72cf67acce"
+    "md5=edca9c69528256ca8ae37be9cedef73f"
+  ]
+}
+
+available: [os-family != "windows" & arch != "riscv64"]
+url {
+  src:
+    "https://git.frama-c.com/pub/codex/cudd.ml/-/archive/0.1.3/cudd.ml-0.1.3.tar.gz"
+  checksum: [
+    "md5=8963dcfa1d331c0b9afdcaaffd0accaf"
+    "sha512=dd1f9c68497696f540274e33b32f0144fadbfcae10d7228efa013e3a8c5da0253e3df48ee53aa135481b52ab33b1f8f3e4445167e3fcc2f8775ad6a6d77e523f"
+  ]
+}