From 30c9f11cd9cc79f0e6e8c6d0fde08fedc7aa1b8c Mon Sep 17 00:00:00 2001
From: Craig Ferguson <me@craigfe.io>
Date: Wed, 12 Aug 2020 13:48:42 +0200
Subject: [PATCH] ppx_irmin: require ppxlib.0.15.0

Ppxlib.0.15.0 drops a dependency on Base
---
 ppx_irmin.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ppx_irmin.opam b/ppx_irmin.opam
index 1c522faab5..21824a21e1 100644
--- a/ppx_irmin.opam
+++ b/ppx_irmin.opam
@@ -16,7 +16,7 @@ depends: [
   "dune" {>= "2.5.1"}
   "ocaml" {>= "4.06.0"}
   "ocaml-syntax-shims"
-  "ppxlib" {>= "0.12.0"}
+  "ppxlib" {>= "0.15.0"}
   "irmin" {with-test & >= "2.0.0"}
 ]