From 08cee040184099f070070b51168dbad0efa11258 Mon Sep 17 00:00:00 2001
From: Benjamin Somers <benjamin.somers@imt-atlantique.fr>
Date: Sat, 6 Aug 2022 20:29:46 +0200
Subject: [PATCH 1/2] Package ppx_map.0.1.0

---
 packages/ppx_map/ppx_map.0.1.0/opam | 38 +++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 packages/ppx_map/ppx_map.0.1.0/opam

diff --git a/packages/ppx_map/ppx_map.0.1.0/opam b/packages/ppx_map/ppx_map.0.1.0/opam
new file mode 100644
index 00000000000..ca89ca17d8c
--- /dev/null
+++ b/packages/ppx_map/ppx_map.0.1.0/opam
@@ -0,0 +1,38 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "A PPX rewriter to simplify the declaration of maps"
+description:
+  "This package allows to declare maps in an expressive way using [key => value] expressions"
+maintainer: ["Benjamin Somers <benjamin.somers@imt-atlantique.fr>"]
+authors: ["Benjamin Somers <benjamin.somers@imt-atlantique.fr>"]
+license: "MIT"
+homepage: "https://github.com/bensmrs/ppx_map"
+bug-reports: "https://github.com/bensmrs/ppx_map/issues"
+depends: [
+  "dune" {>= "2.7"}
+  "alcotest" {>= "1.6.0"}
+  "ppxlib" {>= "0.27.0"}
+  "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/bensmrs/ppx_map.git"
+url {
+  src: "https://github.com/bensmrs/ppx_map/archive/0.1.tar.gz"
+  checksum: [
+    "md5=14c90f1728ac5eb6d538aa484f0deaf2"
+    "sha512=6c1141339af8bce23fe75b503958ca8a1605cc5201340e77d991f6f78290719bd10ffa07ba745ab0d9bf0e2bd2ce0857063244f75c948f8157bf816a1727008d"
+  ]
+}

From 0aa3840fd8af3168db27ea022eeec9df84871a0b Mon Sep 17 00:00:00 2001
From: Kate <kit.ty.kate@disroot.org>
Date: Mon, 8 Aug 2022 18:07:58 +0100
Subject: [PATCH 2/2] Update packages/ppx_map/ppx_map.0.1.0/opam

---
 packages/ppx_map/ppx_map.0.1.0/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/ppx_map/ppx_map.0.1.0/opam b/packages/ppx_map/ppx_map.0.1.0/opam
index ca89ca17d8c..567853877a8 100644
--- a/packages/ppx_map/ppx_map.0.1.0/opam
+++ b/packages/ppx_map/ppx_map.0.1.0/opam
@@ -10,7 +10,7 @@ homepage: "https://github.com/bensmrs/ppx_map"
 bug-reports: "https://github.com/bensmrs/ppx_map/issues"
 depends: [
   "dune" {>= "2.7"}
-  "alcotest" {>= "1.6.0"}
+  "alcotest" {with-test & >= "1.6.0"}
   "ppxlib" {>= "0.27.0"}
   "odoc" {with-doc}
 ]