removed version and date from OPAM file

vzaliva · Apr 25, 2018 · f6f0cb3 · f6f0cb3
1 parent b8fa66d
commit f6f0cb3
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/coq-min-imports.opam b/coq-min-imports.opam
@@ -1,5 +1,4 @@
 opam-version: "1.2"
-version: "1.0.1"
 maintainer: "lord@crocodile.org"
 homepage: "https://github.com/vzaliva/coq-min-imports"
 dev-repo: "https://github.com/vzaliva/coq-min-imports.git"
@@ -16,5 +15,4 @@ depends: [
 ]
 tags: [
   "category:Miscellaneous/Coq Extensions"
-  "date:2018-04-22"
 ]