remove the pin for Dolmen

OCamlPro · Jul 27, 2023 · 6b6de76 · 6b6de76
1 parent 71000c2
commit 6b6de76
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 30 deletions.
diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
@@ -54,18 +54,3 @@ license: [
   "LicenseRef-OCamlpro-Non-Commercial"
   "Apache-2.0"
 ]
-
-pin-depends: [
-  [
-  "dolmen.dev"
-  "git+https://github.com/Gbury/dolmen.git#master"
-  ]
-  [
-  "dolmen_loop.dev"
-  "git+https://github.com/Gbury/dolmen.git#master"
-  ]
-  [
-  "dolmen_type.dev"
-  "git+https://github.com/Gbury/dolmen.git#master"
-  ]
-]
diff --git a/alt-ergo-lib.opam.template b/alt-ergo-lib.opam.template
@@ -6,18 +6,3 @@ license: [
   "LicenseRef-OCamlpro-Non-Commercial"
   "Apache-2.0"
 ]
-
-pin-depends: [
-  [
-  "dolmen.dev"
-  "git+https://github.com/Gbury/dolmen.git#master"
-  ]
-  [
-  "dolmen_loop.dev"
-  "git+https://github.com/Gbury/dolmen.git#master"
-  ]
-  [
-  "dolmen_type.dev"
-  "git+https://github.com/Gbury/dolmen.git#master"
-  ]
-]