From 6f30aeb40bd6c9f71f0877cd70a26fdacf48b50a Mon Sep 17 00:00:00 2001
From: Maxence Guesdon <maxence.guesdon@inria.fr>
Date: Tue, 8 Dec 2015 09:36:00 +0100
Subject: [PATCH] taglog.0.3.0 - via opam-publish

---
 packages/taglog/taglog.0.3.0/descr |  1 +
 packages/taglog/taglog.0.3.0/opam  | 20 ++++++++++++++++++++
 packages/taglog/taglog.0.3.0/url   |  2 ++
 3 files changed, 23 insertions(+)
 create mode 100644 packages/taglog/taglog.0.3.0/descr
 create mode 100644 packages/taglog/taglog.0.3.0/opam
 create mode 100644 packages/taglog/taglog.0.3.0/url

diff --git a/packages/taglog/taglog.0.3.0/descr b/packages/taglog/taglog.0.3.0/descr
new file mode 100644
index 00000000000..75cf34b742e
--- /dev/null
+++ b/packages/taglog/taglog.0.3.0/descr
@@ -0,0 +1 @@
+Logging library using levels and tags to determine what to log.
\ No newline at end of file
diff --git a/packages/taglog/taglog.0.3.0/opam b/packages/taglog/taglog.0.3.0/opam
new file mode 100644
index 00000000000..00dcbc621b1
--- /dev/null
+++ b/packages/taglog/taglog.0.3.0/opam
@@ -0,0 +1,20 @@
+opam-version: "1.2"
+maintainer: "zoggy@bat8.org"
+authors: "Maxence Guesdon"
+homepage: "http://zoggy.github.io/ocaml-taglog/"
+bug-reports: "https://github.com/zoggy/ocaml-taglog/issues"
+license: "GNU Lesser General Public License version 3"
+doc: "http://zoggy.github.io/ocaml-taglog/doc.html"
+tags: "log"
+dev-repo: "https://github.com/zoggy/ocaml-taglog.git"
+build: [
+  ["./configure" "--prefix" prefix]
+  [make "all"]
+]
+install: [make "install"]
+remove: ["ocamlfind" "remove" "taglog"]
+depends: [
+  "ocamlfind"
+  "ocf" {>= "0.4.0"}
+]
+available: [ocaml-version >= "4.02.1"]
diff --git a/packages/taglog/taglog.0.3.0/url b/packages/taglog/taglog.0.3.0/url
new file mode 100644
index 00000000000..1cb4d8c4b11
--- /dev/null
+++ b/packages/taglog/taglog.0.3.0/url
@@ -0,0 +1,2 @@
+http: "https://zoggy.github.io/ocaml-taglog/taglog-0.3.0.tar.gz"
+checksum: "5a92b93659cdb1b0bdd657e1ff9ae2b9"