/
opam
28 lines (27 loc) · 972 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
28
opam-version: "2.0"
maintainer: "contact@tezos.com"
authors: [ "Tezos devteam" ]
homepage: "https://www.tezos.com/"
bug-reports: "https://gitlab.com/tezos/tezos/issues"
dev-repo: "git+https://gitlab.com/tezos/tezos.git"
license: "MIT"
depends: [
"tezos-tooling" { with-test & = version }
"dune" { >= "1.11" }
"ocaml" { >= "4.08.0" }
"tezos-stdlib" { with-test & = version }
]
build: [
["dune" "build" "-p" name "-j" jobs]
["mv" "src/lib_protocol_environment/%{name}%.install" "./"]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
synopsis: "Tezos: restricted typing environment for the economic protocols"
available: false
url {
src: "https://github.com/ocaml/opam-source-archives/raw/main/tezos-v7.1.tar.bz2"
checksum: [
"sha256=3675d856c4b818da7f5de0b85b86a48d3883f1210cfef28ef3233a047e74bed6"
"sha512=d6abdef9a6643b2ffe8141ecc625dcc2a939131e2e5cc158c74aba8c403bd4072b7fc403ccfa6d766696604ad112495dd9db1ece8a3ae5a4693071dfdffcbda5"
]
}