Delete pin-depends

mirage · Jan 1, 2022 · bbfd5ff · bbfd5ff
1 parent cd295ca
commit bbfd5ff
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 7 deletions.
diff --git a/ocaml-freestanding-cross-aarch64.opam b/ocaml-freestanding-cross-aarch64.opam
@@ -27,10 +27,6 @@ depends: [
   "solo5" {>= "0.7.0"}
   "solo5-cross-aarch64" {>= "0.7.0" }
 ]
-pin-depends: [
-  ["solo5.0.7.0" "git+https://github.com/dinosaure/solo5.git#86beb3ac87245435fed397454163d7909b1d6880"]
-  ["solo5-cross-aarch64.0.7.0" "git+https://github.com/dinosaure/solo5.git#86beb3ac87245435fed397454163d7909b1d6880"]
-]
 conflicts: [
   "ocaml-freestanding"
   "sexplib" {= "v0.9.0"}

diff --git a/ocaml-freestanding.opam b/ocaml-freestanding.opam
@@ -27,9 +27,6 @@ depends: [
   "ocaml" {>= "4.12.1" & < "4.14.0"}
   "solo5" {>= "0.7.0"}
 ]
-pin-depends: [
-  ["solo5.0.7.0" "git+https://github.com/dinosaure/solo5.git#86beb3ac87245435fed397454163d7909b1d6880"]
-]
 conflicts: [
   "sexplib" {= "v0.9.0"}
   "solo5-kernel-ukvm"