robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

opam-mirror: use main branch

Browse source
This commit is contained in:
Hannes Mehnert 2022-11-04 10:25:17 +01:00
parent 5e7a64efdb
commit ae3232e833
2 changed files with 1 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
packages/git-kv.0.0.1~dev/opam
View file

@ -1,23 +0,0 @@
opam-version: "2.0"
maintainer: "Robur Team <team@robur.coop>"
authors: [ "Robur Team <team@robur.coop>" ]
homepage: "https://git.robur.io/robur/git-kv"
dev-repo: "git+https://git.robur.io/robur/git-kv.git"
bug-reports: "https://git.robur.io/robur/git-kv"
synopsis: "A Mirage_kv implementation using git"
depends: [
"ocaml" {>= "4.08.0"}
"dune" {>= "2.0.0"}
"git" {>= "3.9.0"}
"mirage-kv" {>= "4.0.0"}
"ptime"
]
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
]
url {
src: "git+https://git.robur.io/robur/git-kv.git"
}

2
packages/mirage-unikernel-opam-mirror-hvt.0.0.1/opam vendored
View file

@ -70,4 +70,4 @@ x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5"
"opam-monorepo"] "opam-monorepo"]
url { src: "git+https://git.robur.io/robur/opam-mirror.git#build" } url { src: "git+https://git.robur.io/robur/opam-mirror.git" }