diff --git a/colibri2.opam b/colibri2.opam index ee10f840656a25c08d11e6477638244c19e2315e..4626002f8017da8edb4be18b340532c4dd7df2f7 100644 --- a/colibri2.opam +++ b/colibri2.opam @@ -58,5 +58,4 @@ pin-depends: [ [ "qcheck-alcotest.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ] [ "qcheck-core.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ] [ "qcheck-ounit.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ] - [ "ctypes.0.19.2~dev" "git@github.com:bobot/ocaml-ctypes.git#d9998549d8d69533c8479628040b035e42e75d1a" ] ] diff --git a/colibrics.opam b/colibrics.opam index 56a4a8a8ecca44ad4e49332d1d84324cc6a556d0..aa6ee798a9db598b15d9d6fbb1578972b05746ce 100644 --- a/colibrics.opam +++ b/colibrics.opam @@ -45,5 +45,4 @@ pin-depends: [ [ "qcheck-alcotest.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ] [ "qcheck-core.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ] [ "qcheck-ounit.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ] - [ "ctypes.0.19.2~dev" "git@github.com:bobot/ocaml-ctypes.git#d9998549d8d69533c8479628040b035e42e75d1a" ] ] diff --git a/generic.opam.template b/generic.opam.template index a711a599d11aeff2fb4187c8058909dd0cb313e4..0974d366c544cddb10a763ec0b8527cc6819ec7d 100644 --- a/generic.opam.template +++ b/generic.opam.template @@ -7,5 +7,4 @@ pin-depends: [ [ "qcheck-alcotest.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ] [ "qcheck-core.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ] [ "qcheck-ounit.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ] - [ "ctypes.0.19.2~dev" "git@github.com:bobot/ocaml-ctypes.git#d9998549d8d69533c8479628040b035e42e75d1a" ] ]