Update opam and Nix files; release 1.0

jwiegley · Jul 22, 2022 · 1a3db21 · 1a3db21
1 parent b33a5aa
commit 1a3db21
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 3 deletions.
diff --git a/coq-category-theory.opam b/coq-category-theory.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 maintainer: "johnw@newartisans.com"
-version: "dev"
+version: "1.0"
 
 homepage: "https://github.com/jwiegley/category-theory"
 dev-repo: "git+https://github.com/jwiegley/category-theory.git"
@@ -16,11 +16,20 @@ practical work.
 build: [make "JOBS=%{jobs}%" ]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.10" & < "8.16~") | (= "dev")}
+  "coq" {(>= "8.14" & < "8.16~") | (= "dev")}
   "coq-equations" {(>= "1.2" & < "1.4~") | (= "dev")}
 ]
 
+url {
+  src: "https://github.com/jwiegley/category-theory/archive/refs/tags/1.0.0.tar.gz"
+  checksum: "sha256=66243d54a6ff551a9ec762d69e5ff6a09869e7d5ce6504fa3a63350efde03720"
+}
+
 tags: [
+  "keyword: category theory"
+  "category: Mathematics/Category Theory"
+  "date: 2022-07-22"
+  "logpath: Category"
 ]
 authors: [
   "John Wiegley"

diff --git a/default.nix b/default.nix
@@ -20,7 +20,7 @@ let category-theory = coqPackages:
           else ./.;
 
     buildInputs = [
-      coq coq.ocaml coq.camlp5 coq.findlib equations # coqhammer pkgs.z3-tptp
+      coq coq.ocaml coq.camlp5 coq.findlib equations
     ];
     enableParallelBuilding = true;