-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
36 lines (36 loc) · 1.07 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
opam-version: "2.0"
maintainer: "kaustuv@chaudhuri.info"
homepage: "http://chaudhuri.info/software/profound/"
license: "MIT"
build: [
[make]
["mkdir" "-p" "%{share}%/profound"]
]
remove: [["rm" "-rf" "%{share}%/profound/"]]
depends: [
"ocaml" {>= "4.00.1" & < "4.08.0"}
"ocamlfind"
"lablgtk"
"menhir" {>= "20120123"}
"batteries" {>= "2.0.0"}
"ocamlbuild" {build}
]
dev-repo: "git+https://github.com/chaudhuri/profound"
install: ["cp" "share/profound/wash_form.tex" "%{share}%/profound/"]
synopsis: "Interactive proof exploration based on formula linking"
flags: light-uninstall
url {
src: "https://github.com/chaudhuri/profound/archive/v0.4.2.tar.gz"
checksum: [
"sha256=56c843e1e1c5c5995ab9756a68435fa68b505b69e5f8d839637736cd0bd14a5d"
"md5=52f2c3d963cb0497c18ef64185ff6df7"
]
}
extra-source "profound.install" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/profound/profound.install"
checksum: [
"sha256=2d736d3d152b4d337df0c96508c54a9ac4ef14da35e1ed9819f90308a94a78fa"
"md5=7d991eed37b18dba464b98e4f640a74c"
]
}