From 0e1064337a888e3f42190b9d160730e5c9db0bea Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 2 Nov 2022 22:13:52 +0100 Subject: [PATCH] remove (now relesaed) http-mirage-client --- packages/http-mirage-client.0.0.1~dev/opam | 40 ---------------------- 1 file changed, 40 deletions(-) delete mode 100644 packages/http-mirage-client.0.0.1~dev/opam diff --git a/packages/http-mirage-client.0.0.1~dev/opam b/packages/http-mirage-client.0.0.1~dev/opam deleted file mode 100644 index d1c497d..0000000 --- a/packages/http-mirage-client.0.0.1~dev/opam +++ /dev/null @@ -1,40 +0,0 @@ -opam-version: "2.0" -synopsis: "HTTP client for MirageOS" -maintainer: ["team@robur.coop"] -authors: [ - "Robur Team " -] -license: "MIT" -homepage: "https://github.com/roburio/http-mirage-client" -bug-reports: "https://github.com/roburio/http-mirage-client/issues" -depends: [ - "dune" {>= "2.3"} - "ocaml" {>= "4.11.0"} - "paf" {>= "0.2.0"} - "mirage-clock" {>= "4.0.0"} - "mirage-time" {>= "3.0.0"} - "tcpip" {>= "7.0.0"} - "lwt" {>= "5.5.0"} - "mimic-happy-eyeballs" - "httpaf" - "h2" -] -build: [ - ["dune" "subst"] {dev} - [ - "dune" - "build" - "-p" - name - "-j" - jobs - "@install" - "@runtest" {with-test} - "@doc" {with-doc} - ] -] -dev-repo: "git+https://github.com/roburio/http-mirage-client.git" -url { - src: "git+https://git.robur.io/robur/http-mirage-client.git" -} -