From 4501de158679fd6e12de919a57a37d835a3d0474 Mon Sep 17 00:00:00 2001
From: Thomas Gazagnaire <thomas@gazagnaire.org>
Date: Fri, 8 Jun 2018 09:08:43 +0200
Subject: [PATCH] ### 1.4.0 (2018-06-06)

- Add types for `Contents.hash`, `Tree.hash` and `Commit.hash` (mirage/irmin#512, @samoht)
- `Tree.hash` and `Tree.of_hash` now work on leaf nodes. To do this, `Tree.hash`
  has to return a more complex type (mirage/irmin#512, @samoht)
- support for webmachine 0.6.0 (mirage/irmin#505, @ansiwen)
---
 packages/irmin/irmin.1.4.0/descr |  7 +++++++
 packages/irmin/irmin.1.4.0/opam  | 28 ++++++++++++++++++++++++++++
 packages/irmin/irmin.1.4.0/url   |  2 ++
 3 files changed, 37 insertions(+)
 create mode 100644 packages/irmin/irmin.1.4.0/descr
 create mode 100644 packages/irmin/irmin.1.4.0/opam
 create mode 100644 packages/irmin/irmin.1.4.0/url

diff --git a/packages/irmin/irmin.1.4.0/descr b/packages/irmin/irmin.1.4.0/descr
new file mode 100644
index 000000000000..7a480bbd27b6
--- /dev/null
+++ b/packages/irmin/irmin.1.4.0/descr
@@ -0,0 +1,7 @@
+Irmin, a distributed database that follows the same design principles as Git
+
+Irmin is a library for persistent stores with built-in snapshot,
+branching and reverting mechanisms. It is designed to use a large
+variety of backends. Irmin is written in pure OCaml and does not
+depend on external C stubs; it aims to run everywhere, from Linux,
+to browsers and Xen unikernels.
diff --git a/packages/irmin/irmin.1.4.0/opam b/packages/irmin/irmin.1.4.0/opam
new file mode 100644
index 000000000000..3e3d3381eb32
--- /dev/null
+++ b/packages/irmin/irmin.1.4.0/opam
@@ -0,0 +1,28 @@
+opam-version: "1.2"
+maintainer:   "thomas@gazagnaire.org"
+authors:      ["Thomas Gazagnaire" "Thomas Leonard"]
+license:      "ISC"
+homepage:     "https://github.com/mirage/irmin"
+bug-reports:  "https://github.com/mirage/irmin/issues"
+dev-repo:     "https://github.com/mirage/irmin.git"
+doc:          "https://mirage.github.io/irmin/"
+
+build: [
+ ["jbuilder" "subst"] {pinned}
+ ["jbuilder" "build" "-p" name "-j" jobs]
+]
+
+depends: [
+  "jbuilder" {build & >= "1.0+beta10"}
+  "result"
+  "fmt" {>= "0.8.0"}
+  "uri" {>= "1.3.12"}
+  "cstruct" {>= "1.6.0"}
+  "jsonm" {>= "1.0.0"}
+  "lwt" {>= "2.4.7"}
+  "ocamlgraph"
+  "hex" {>= "0.2.0"}
+  "logs" {>= "0.5.0"}
+  "astring"
+]
+available: [ocaml-version >= "4.03.0"]
diff --git a/packages/irmin/irmin.1.4.0/url b/packages/irmin/irmin.1.4.0/url
new file mode 100644
index 000000000000..2d47b672615c
--- /dev/null
+++ b/packages/irmin/irmin.1.4.0/url
@@ -0,0 +1,2 @@
+archive: "https://github.com/mirage/irmin/releases/download/1.4.0/irmin-1.4.0.tbz"
+checksum: "e214dd3832bbe7b83df6c77263ac525b"
\ No newline at end of file