From 27e1dc074610bbb431092c0e8fa57ca4c08f86e5 Mon Sep 17 00:00:00 2001
From: MathisBD <mathis.bouverot@ens.psl.eu>
Date: Wed, 13 Nov 2024 13:16:08 +0100
Subject: [PATCH] coq-pprint 0.2.0 release

---
 .../coq-pprint/coq-pprint.0.2.0+8.20/opam     | 38 +++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 released/packages/coq-pprint/coq-pprint.0.2.0+8.20/opam

diff --git a/released/packages/coq-pprint/coq-pprint.0.2.0+8.20/opam b/released/packages/coq-pprint/coq-pprint.0.2.0+8.20/opam
new file mode 100644
index 000000000..799930f6e
--- /dev/null
+++ b/released/packages/coq-pprint/coq-pprint.0.2.0+8.20/opam
@@ -0,0 +1,38 @@
+opam-version: "2.0"
+synopsis: "A modern combinator pretty-printing library for Coq"
+description: """
+A combinator pretty-printing library, in the style of Wadler's "A Prettier Printer".
+- Handles utf-8 strings.
+- Supports generic _annotations_ on text (colors, italics, etc).
+- Well documented."""
+maintainer: ["Mathis Bouverot-Dupuis (mathis.bouverot@ens.psl.eu)"]
+authors: ["Mathis Bouverot-Dupuis"]
+license: "MIT"
+homepage: "https://github.com/MathisBD/coq-pprint"
+bug-reports: "https://github.com/MathisBD/coq-pprint/issues"
+depends: [
+  "dune" {>= "3.13"}
+  "coq" {>= "8.20"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/MathisBD/coq-pprint.git"
+url {
+  src: 
+    "https://github.com/MathisBD/coq-pprint/archive/v0.2.0-8.20.tar.gz"
+  checksum: 
+    "sha256=a37cec295e8658608bfd5521770804bdb72510ccafc322923b8a5f10a417ddeb"
+}
\ No newline at end of file