From cf64d95c0bb3ba2ed3f10c95d41e20c64cc0724e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr> Date: Thu, 17 Mar 2022 17:02:03 +0100 Subject: [PATCH] Remove specific ctypes version --- colibri2.opam | 1 - colibrics.opam | 1 - generic.opam.template | 1 - 3 files changed, 3 deletions(-) diff --git a/colibri2.opam b/colibri2.opam index ee10f8406..4626002f8 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 56a4a8a8e..aa6ee798a 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 a711a599d..0974d366c 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" ] ] -- GitLab