Update released/packages/coq-quickchick/coq-quickchick.2.0.5/opam

coq · Dec 5, 2024 · 3bc80ae · 3bc80ae
1 parent 855feac
commit 3bc80ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-quickchick/coq-quickchick.2.0.5/opam b/released/packages/coq-quickchick/coq-quickchick.2.0.5/opam
@@ -35,7 +35,7 @@ depends: [
   "odoc" {with-doc}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"