From f39ac7d2ae8ce6c54578a85b5f6eb1ea5f3ffc99 Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Sun, 14 Jun 2015 19:52:25 +0200
Subject: [PATCH] coq:io:list updated

---
 packages/coq:io:list/coq:io:list.1.1.0/descr |  1 +
 packages/coq:io:list/coq:io:list.1.1.0/opam  | 16 ++++++++++++++++
 packages/coq:io:list/coq:io:list.1.1.0/url   |  2 ++
 3 files changed, 19 insertions(+)
 create mode 100644 packages/coq:io:list/coq:io:list.1.1.0/descr
 create mode 100644 packages/coq:io:list/coq:io:list.1.1.0/opam
 create mode 100644 packages/coq:io:list/coq:io:list.1.1.0/url

diff --git a/packages/coq:io:list/coq:io:list.1.1.0/descr b/packages/coq:io:list/coq:io:list.1.1.0/descr
new file mode 100644
index 0000000..2205a25
--- /dev/null
+++ b/packages/coq:io:list/coq:io:list.1.1.0/descr
@@ -0,0 +1 @@
+Generic functions on lists with effects.
diff --git a/packages/coq:io:list/coq:io:list.1.1.0/opam b/packages/coq:io:list/coq:io:list.1.1.0/opam
new file mode 100644
index 0000000..49a7e07
--- /dev/null
+++ b/packages/coq:io:list/coq:io:list.1.1.0/opam
@@ -0,0 +1,16 @@
+opam-version: "1.1" 
+maintainer: "dev@clarus.me"
+homepage: "https://github.com/clarus/io-list"
+bug-reports: "https://github.com/clarus/io-list/issues"
+authors: ["Guillaume Claret"]
+license: "MIT"
+build: [
+  ["./configure.sh"]
+  [make "-j%{jobs}%"]
+  [make "install"]
+]
+remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Io/List.vo"]
+depends: [
+  "coq" {>= "8.4pl4"}
+  "coq:io" {>= "3.1.0"}
+]
diff --git a/packages/coq:io:list/coq:io:list.1.1.0/url b/packages/coq:io:list/coq:io:list.1.1.0/url
new file mode 100644
index 0000000..4215e99
--- /dev/null
+++ b/packages/coq:io:list/coq:io:list.1.1.0/url
@@ -0,0 +1,2 @@
+http: "https://github.com/clarus/io-list/archive/1.1.0.tar.gz"
+checksum: "6a8d69924959f8b1495ca4d798ab6e23"