We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 44c7ff1 commit 330f52dCopy full SHA for 330f52d
packages/mlcuddidl/mlcuddidl.3.0.8/opam
@@ -22,6 +22,7 @@ depends: [
22
]
23
patches : [
24
"compilation_ocaml5.diff" { ocaml:version >= "5" }
25
+ "exn_init_val_unit.diff"
26
27
synopsis: "OCaml interface to the CUDD BDD library"
28
post-messages: [
@@ -43,3 +44,10 @@ extra-source "compilation_ocaml5.diff" {
43
44
45
}
46
47
+extra-source "exn_init_val_unit.diff" {
48
+ src:
49
+ "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/mlcuddidl/exn_init_val_unit.diff"
50
+ checksum: [
51
+ "sha256=a00ceaaca0aa26b1fabd1cdb893769f5de6c5481ff33331035c6fbf91210b0c7"
52
+ ]
53
+}
0 commit comments