this repo has no description
Update available archs and os
+3
-2
+3
-2
packages/cvc5/cvc5.1.1.3-unreleased/opam
+3
-2
packages/cvc5/cvc5.1.1.3-unreleased/opam
···
35
35
]
36
36
]
37
37
dev-repo: "git+https://github.com/formalsec/ocaml-cvc5.git"
38
+
available: arch != "arm32" & os != "macos" & os != "freebsd" & os-distribution != "fedora" & os-family != "arch"
38
39
url {
39
40
src:
40
41
"https://github.com/formalsec/ocaml-cvc5/releases/download/v1.1.3-unreleased/ocaml-cvc5-v1.1.3-unreleased.tar.gz"
41
42
checksum: [
42
-
"md5=93bdf7ddaa56ff53d38bac3b4b678f45"
43
-
"sha512=36eb44e7b07cc26084762bec8089cb238554f065835776050e1af8546140464b680f124a03f7f6055b1b48734079de0e1de569b3e46a01010381699676a2f09c"
43
+
"md5=0d6f257ead39a7135725809d3bbf66f7"
44
+
"sha512=9df93944cbba98a8fb41ed39f46c0c1e8fb0804d07a73298d3450d3e9e055e4a380e8ee849d9910dcf335516ac27970342c52d0cba3fafa2e3e993d36a0a162a"
44
45
]
45
46
}