From 1e4455e0c5a1220ad20f44740c60ada3ec29ed95 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Thu, 29 Dec 2016 22:59:35 -0600
Subject: [PATCH] more opam metadata

---
 opam | 2 +-
 url  | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)
 create mode 100644 url

diff --git a/opam b/opam
index c898da4..c8f7e6f 100644
--- a/opam
+++ b/opam
@@ -13,5 +13,5 @@ install: [ make "install" ]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/InfSeqExt'" ]
 depends: [ "coq" {((>= "8.5" & < "8.6~") | (>= "8.6" & < "8.7~"))} ]
 
-tags: [ "keyword:temporal logic" "keyword:infinite transition systems" "keyword:coinduction" "category:Mathematics/Logic/Modal logic" ]
+tags: [ "keyword:temporal logic" "keyword:infinite transition systems" "keyword:coinduction" "category:Mathematics/Logic/Modal logic" "date:2016-12-29"]
 authors: [ "Yuxin Deng <>" "Jean-Francois Monin <>" "Karl Palmskog <>" ]
diff --git a/url b/url
new file mode 100644
index 0000000..316c019
--- /dev/null
+++ b/url
@@ -0,0 +1,2 @@
+archive: "https://github.com/DistributedComponents/InfSeqExt/archive/v1.0.tar.gz"
+checksum: "173a7bf2d522f8cbac3b931259636b8f"