From 1b86e6de784894a0b76e4ac23ca89c5944660408 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 29 Sep 2022 00:12:42 +0200 Subject: [PATCH] remove pin of mirage-block-partition and oneffs (now in opam) --- mirage/config.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mirage/config.ml b/mirage/config.ml index 71885b2..6a8eb68 100644 --- a/mirage/config.ml +++ b/mirage/config.ml @@ -74,8 +74,8 @@ let mirror = package "opam-file-format" ; package ~min:"2.1.0" ~sublibs:[ "gz" ] "tar" ; package ~pin:"git+https://github.com/hannesm/ocaml-tar.git#kv-rw-kv-5" "tar-mirage" ; - package ~pin:"git+https://github.com/reynir/mirage-block-partition.git" "mirage-block-partition" ; - package ~pin:"git+https://git.robur.io/reynir/oneffs.git" "oneffs" ; + package "mirage-block-partition" ; + package "oneffs" ; ] (block @-> time @-> pclock @-> stackv4v6 @-> git_client @-> http_client @-> job)