From 7672f24873a535549ba7bd61cab95677ca11508b Mon Sep 17 00:00:00 2001
From: Jim Portegies <j.w.portegies@tue.nl>
Date: Sun, 27 Aug 2023 14:30:38 +0200
Subject: [PATCH 1/2] Package coq-waterproof.2.0.1+8.17

---
 .../coq-waterproof.2.0.1+8.17/opam            | 53 +++++++++++++++++++
 1 file changed, 53 insertions(+)
 create mode 100644 released/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam

diff --git a/released/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam b/released/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam
new file mode 100644
index 000000000..3e5c2c312
--- /dev/null
+++ b/released/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam
@@ -0,0 +1,53 @@
+opam-version: "2.0"
+name: "coq-waterproof"
+version: "2.0.1+8.17"
+maintainer: "Jim Portegies <j.w.portegies@tue.nl>"
+authors: [
+  "Jelle Wemmenhove"
+  "Balthazar Pathiachvili"
+  "Cosmin Manea"
+  "Lulof Pirée"
+  "Adrian Vrămuleţ"
+  "Tudor Voicu"
+  "Jim Portegies <j.w.portegies@tue.nl>"
+]
+
+synopsis: "Coq proofs in a style that resembles non-mechanized mathematical proofs"
+description: """
+The coq-waterproof library allows you to write Coq proofs in a style that resembles non-mechanized mathematical proofs.
+Mathematicians unfamiliar with the Coq syntax are able to read the resulting proof scripts.
+"""
+
+license: "LGPL-3.0-or-later"
+homepage: "https://github.com/impermeable/coq-waterproof"
+dev-repo: "git+https://github.com/impermeable/coq-waterproof.git"
+bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
+
+depends: [
+  "ocaml" {>= "4.14.1"}
+  "coq" {>= "8.17" & < "8.18"}
+]
+
+build: [
+  ["dune" "build" "-p" "coq-waterproof"]
+]
+
+install: [
+  ["dune" "install" "-p" "coq-waterproof"]
+]
+
+url {
+  src:
+    "https://github.com/impermeable/coq-waterproof/archive/refs/tags/2.0.1+8.17.tar.gz"
+  checksum: [
+    "md5=a891f29ee1723d8031d4cb50903da735"
+    "sha512=cfc7a8010b71ab45264f396b144f0cf887baf9ddae9df1e92d977252801197017225af0d4bbabaf7a0b57454aa2ce68989c58ce6c1707b4bc40674488bf0a622"
+  ]
+}
+
+tags: [
+  "keyword:mathematics education"
+  "category:Mathematics/Education"
+  "date:2023-08-27"
+  "logpath:Waterproof"
+]

From 4ec492f07a6f1fd9512d0b43b40d34914fd32f15 Mon Sep 17 00:00:00 2001
From: jim-portegies <36723906+jim-portegies@users.noreply.github.com>
Date: Sun, 27 Aug 2023 15:48:00 +0200
Subject: [PATCH 2/2] Update
 released/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam

Co-authored-by: Karl Palmskog <palmskog@gmail.com>
---
 released/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam | 2 --
 1 file changed, 2 deletions(-)

diff --git a/released/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam b/released/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam
index 3e5c2c312..1e7211c28 100644
--- a/released/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam
+++ b/released/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam
@@ -1,6 +1,4 @@
 opam-version: "2.0"
-name: "coq-waterproof"
-version: "2.0.1+8.17"
 maintainer: "Jim Portegies <j.w.portegies@tue.nl>"
 authors: [
   "Jelle Wemmenhove"