diff --git a/packages/git-kv.0.0.1~dev/opam b/packages/git-kv.0.0.1~dev/opam deleted file mode 100644 index 3571a2a..0000000 --- a/packages/git-kv.0.0.1~dev/opam +++ /dev/null @@ -1,23 +0,0 @@ -opam-version: "2.0" -maintainer: "Robur Team " -authors: [ "Robur Team " ] -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" -} diff --git a/packages/mirage-unikernel-opam-mirror-hvt.0.0.1/opam b/packages/mirage-unikernel-opam-mirror-hvt.0.0.1/opam index 5a82763..37852d7 100644 --- a/packages/mirage-unikernel-opam-mirror-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-opam-mirror-hvt.0.0.1/opam @@ -70,4 +70,4 @@ x-opam-monorepo-opam-provided: ["mirage" "ocaml""ocaml-solo5" "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" }