more opam metadata

palmskog · palmskog · commit 1e4455e0c5a1 · 2016-12-29T22:59:35.000-06:00
diff --git 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
@@ -0,0 +1,2 @@
+archive: "https://github.com/DistributedComponents/InfSeqExt/archive/v1.0.tar.gz"
+checksum: "173a7bf2d522f8cbac3b931259636b8f"

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+archive: "https://github.com/DistributedComponents/InfSeqExt/archive/v1.0.tar.gz"`
	`2`	`+checksum: "173a7bf2d522f8cbac3b931259636b8f"`