-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
38 lines (38 loc) · 1.09 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
opam-version: "2.0"
maintainer: "https://github.com/ocaml/opam-repository/issues"
build: [
[make "all"]
[make "opt"]
]
patches: ["opam.patch"]
depends: [
"ocaml" {< "4.06.0"}
"ocamlfind"
"ocamlbuild" {build}
]
install: [make "install" "PREFIX=%{prefix}%"]
synopsis: "SAT-Solver able to deal with formulae patterns"
url {
src:
"https://download.ocamlcore.org/regstab/regstab/2.0.0/regstab-2.0.0.tar.gz"
checksum: [
"sha256=cdba97a1a1e851981370c07326954aed9621519ead039e6dbceeef6e7e4766c4"
"md5=bacea0b985f75328453a2b2da40afa07"
]
}
extra-source "regstab.install" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/regstab/regstab.install"
checksum: [
"sha256=e8d5546517cafdd3c45c00f9e8653f9581f489d9b9bfbeae20c083d2a8f85f84"
"md5=a94167ace5e5f46cb74b0cf1e2b222a9"
]
}
extra-source "opam.patch" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/regstab/opam.patch"
checksum: [
"sha256=47521c3ed6c39d6dc825d0fab9ad6eb85fc92ae3c70f4101cac44dea35f49d0f"
"md5=ff7b7944f2a17c2aa5a5601759df3592"
]
}