multisig2/multisig-2.opam at main · Pruvendo/multisig2 · GitHub

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
synopsis:     "Multisig-2 project checking"
description:  "Multisig-2 project checking"
name:         "multisig-2"
opam-version: "2.0"
maintainer:   "team@pruvendo.com"
authors:      "Pruvendo Team"
homepage:     "git@vcs.modus-ponens.com:ton/multisig-2.git"
dev-repo:     "git+https://github.com/Pruvendo/opam-repo.git"
bug-reports:  "git@vcs.modus-ponens.com:ton/multisig-2.git"
doc:          "https://vcs.modus-ponens.com/ton/multisig-2"

license:      "GPL-3.0-or-later"

depends: [
  "coq"           { >= "8.15.0" }
  "dune"          { >= "2.8.0"  }
  "coq-elpi"
  "pruvendo-base" { >= "0.2.0" }
  "pruvendo-base-lib" { >= "0.1.0" }
  "pruvendo-umlang"
  "ursus-standard-library"
  "pruvendo-ursus-tvm"
  "ursus-contract-creator"
  "ursus-environment"
]

pin-depends: [
  ["coq-elpi.latest-git" "../coq-elpi-mod#master"]
  [ "pruvendo-base.latest-git" "../coq-finproof-base#master" ]
  [ "pruvendo-base-lib.latest-git" "../pruvendo-base-lib#master" ]
  [ "pruvendo-umlang.latest-git" "../solidity-monadic-language#changed_XProd" ]
  [ "ursus-standard-library.latest-git" "../ursus-standard-library#changed_XProd" ]
  [ "pruvendo-ursus-tvm.latest-git" "../pruvendo-ursus-tvm#changed_XProd" ]
  [ "ursus-contract-creator.latest-git" "../ursus-contract-creator#main" ]
  [ "ursus-environment.latest-git" "../ursus-environment#main" ]
]

build: [ "dune" "build" "-p" name "-j" jobs ]