From 855feac449ed65281bb246181f7f7db02275f9d4 Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai.lys@alibaba-inc.com>
Date: Thu, 5 Dec 2024 23:55:44 +0800
Subject: [PATCH 1/2] Package coq-quickchick.2.0.5

---
 .../coq-quickchick/coq-quickchick.2.0.5/opam  | 60 +++++++++++++++++++
 1 file changed, 60 insertions(+)
 create mode 100644 released/packages/coq-quickchick/coq-quickchick.2.0.5/opam

diff --git a/released/packages/coq-quickchick/coq-quickchick.2.0.5/opam b/released/packages/coq-quickchick/coq-quickchick.2.0.5/opam
new file mode 100644
index 0000000000..4a9bd3345d
--- /dev/null
+++ b/released/packages/coq-quickchick/coq-quickchick.2.0.5/opam
@@ -0,0 +1,60 @@
+opam-version: "2.0"
+synopsis: "Randomized Property-Based Testing for Coq"
+description: """\
+A library for property-based testing in Coq.
+
+  - Combinators for testable properties and random generators.
+  - QuickChick plugin for running tests in a Coq session.
+  - Includes a mutation testing tool."""
+maintainer: "leonidas@umd.edu"
+authors: [
+  "Leonidas Lampropoulos"
+  "Zoe Paraskevopoulou"
+  "Maxime Denes"
+  "Catalin Hritcu"
+  "Benjamin Pierce"
+  "Li-yao Xia"
+  "Arthur Azevedo de Amorim"
+  "Yishuai Li"
+  "Antal Spector-Zabusky"
+]
+license: "MIT"
+homepage: "https://github.com/QuickChick/QuickChick"
+bug-reports: "https://github.com/QuickChick/QuickChick/issues"
+depends: [
+  "dune" {>= "3.12"}
+  "ocaml" {>= "4.07"}
+  "menhir" {build}
+  "cppo" {build & >= "1.6.8"}
+  "coq" {>= "8.15~"}
+  "coq-ext-lib"
+  "coq-mathcomp-ssreflect"
+  "coq-simple-io" {>= "1.6.0"}
+  "ocamlfind"
+  "ocamlbuild"
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {pinned}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+    "--stop-on-first-error"
+  ]
+]
+dev-repo: "git+https://github.com/QuickChick/QuickChick.git"
+url {
+  src:
+    "https://github.com/QuickChick/QuickChick/archive/refs/tags/v2.0.5.tar.gz"
+  checksum: [
+    "md5=3fe1c7124122fdfd5817d8634c1e68a6"
+    "sha512=f05fd7404c5122a62afac504fab32839fe55858d1b4ba5037db52df1b55ae068298aae642561b1d5f2e93ab5bd1dd6608c1e6c73ef7978cb3b5438c04f874ff8"
+  ]
+}
\ No newline at end of file

From 3bc80aee0e40f3b7c9bf9ceb3b80c7eb9330c3c6 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Thu, 5 Dec 2024 19:00:05 +0100
Subject: [PATCH 2/2] Update
 released/packages/coq-quickchick/coq-quickchick.2.0.5/opam

---
 released/packages/coq-quickchick/coq-quickchick.2.0.5/opam | 2 +-
 1 file changed, 1 insertion(+), 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
index 4a9bd3345d..e92c44c220 100644
--- 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"