add orb
This commit is contained in:
parent
b5fecc0804
commit
0a0c4570e0
1 changed files with 26 additions and 0 deletions
26
packages/orb.0.0.1/opam
vendored
Normal file
26
packages/orb.0.0.1/opam
vendored
Normal file
|
@ -0,0 +1,26 @@
|
|||
opam-version: "2.0"
|
||||
name: "orb"
|
||||
version: "0.1"
|
||||
synopsis: "Check opam package reproducibility"
|
||||
maintainer: "Raja Boujbel <rjbou@ocamlpro.com>"
|
||||
authors: "Raja Boujbel <rjbou@ocamlpro.com>"
|
||||
homepage: "https://github.com/rjbou/orb"
|
||||
bug-reports: "https://github.com/rjbou/orb/issues"
|
||||
depends: [
|
||||
"dune" {>= "2.0"}
|
||||
"cmdliner" {>= "1.0"}
|
||||
"opam-client" {>= "2.1.0~beta4"}
|
||||
"opam-repository" {>= "2.1.0~beta4"}
|
||||
"opam-core" {>= "2.1.0~beta4"}
|
||||
"opam-format" {>= "2.1.0~beta4"}
|
||||
"opam-solver" {>= "2.1.0~beta4"}
|
||||
"opam-state" {>= "2.1.0~beta4"}
|
||||
]
|
||||
build: [
|
||||
["dune" "subst"] {dev}
|
||||
["dune" "build" "-p" name "-j" jobs]
|
||||
]
|
||||
dev-repo: "git+https://github.com/rjbou/orb.git"
|
||||
url {
|
||||
src: "git+https://github.com/hannesm/orb.git#next"
|
||||
}
|
Loading…
Reference in a new issue