-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
27 lines (27 loc) · 827 Bytes
/
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
opam-version: "2.0"
maintainer: "fferre8@cs.cmgill.ca"
build: [["ocamlbuild" "-r" "-use-ocamlfind" "-j" jobs "src/beluga/main.native"]]
depends: [
"ocaml"
"ocamlfind"
("extlib" | "extlib-compat")
"ulex"
"ocamlbuild" {build}
]
synopsis:
"A Language for programming and reasoning using Higher-Order Abstract Syntax"
url {
src: "http://complogic.cs.mcgill.ca/beluga/beluga-0.8.1.tar.gz"
checksum: [
"sha256=39814a97ac2d19e1b0d65e46e66d49c8f663d0182e41c8113384cb952348320b"
"md5=f5e940e1f96d9fa6a5ce5ef954be98e7"
]
}
extra-source "beluga.install" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/beluga/beluga.install.0.8.1"
checksum: [
"sha256=940e397d5e5cae8e4c3c9d47dce47e59875629fe448fa481f1e4332d4cc5a77d"
"md5=31eddd1135fa23173f0c6e862c5eb5fd"
]
}