From 8ef811c97db94dd1d22d4522811e9698650eab6f Mon Sep 17 00:00:00 2001 From: Romain Beauxis Date: Wed, 12 Jul 2023 20:47:43 -0500 Subject: [PATCH] Remove depext. --- ssl.opam | 1 - ssl.opam.template | 1 - 2 files changed, 2 deletions(-) delete mode 100644 ssl.opam.template diff --git a/ssl.opam b/ssl.opam index 7a433cc..f85aa56 100644 --- a/ssl.opam +++ b/ssl.opam @@ -31,4 +31,3 @@ build: [ ] ] dev-repo: "git+https://github.com/melange-re/melange.git" -depexts: [ "openssl" { with-test } ] diff --git a/ssl.opam.template b/ssl.opam.template deleted file mode 100644 index 9476215..0000000 --- a/ssl.opam.template +++ /dev/null @@ -1 +0,0 @@ -depexts: [ "openssl" { with-test } ]