opam pin-depends

mirage · Oct 7, 2024 · 5fbbee0 · 5fbbee0
1 parent 82ba7d4
commit 5fbbee0
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/cohttp-lwt-unix.opam b/cohttp-lwt-unix.opam
@@ -59,3 +59,6 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+pin-depends: [
+  [ "ca-certs.dev"         "git+https://github.com/art-w/ca-certs.git#95d1250bdce4225cb92c345ba5d8f180e237eb2b" ]
+]
diff --git a/cohttp-lwt-unix.opam.template b/cohttp-lwt-unix.opam.template
@@ -12,3 +12,6 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+pin-depends: [
+  [ "ca-certs.dev"         "git+https://github.com/art-w/ca-certs.git#95d1250bdce4225cb92c345ba5d8f180e237eb2b" ]
+]