coq:io:list updated

coq · Jun 14, 2015 · f39ac7d · f39ac7d
1 parent ec4213b
commit f39ac7d
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 0 deletions.
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
@@ -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
@@ -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
@@ -0,0 +1,2 @@
+http: "https://github.com/clarus/io-list/archive/1.1.0.tar.gz"
+checksum: "6a8d69924959f8b1495ca4d798ab6e23"