Merge pull request #2685 from Columbus240/master

Add coq-topology.10.2.0 and coq-zorns-lemma.10.2.0

released/packages/coq-topology/coq-topology.10.2.0/opam

@@ -0,0 +1,41 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+
+homepage: "https://github.com/coq-community/topology"
+dev-repo: "git+https://github.com/coq-community/topology.git"
+bug-reports: "https://github.com/coq-community/topology/issues"
+license: "LGPL-2.1-or-later"
+
+synopsis: "General topology in Coq"
+description: """
+This library develops some of the basic concepts
+and results of general topology in Coq.
+"""
+
+build: ["dune" "build" "-p" name "-j" jobs]
+depends: [
+  "dune" {>= "2.5"}
+  "coq" {(>= "8.12" & < "8.19~") | (= "dev")}
+  "coq-zorns-lemma" {= version}
+]
+
+tags: [
+  "category:Mathematics/Real Calculus and Topology"
+  "date:2023-08-18"
+  "keyword:topology"
+  "keyword:filters"
+  "keyword:nets"
+  "keyword:metric spaces"
+  "keyword:real analysis"
+  "keyword:Urysohn's lemma"
+  "keyword:Tietze extension theorem"
+  "logpath:Topology"
+]
+authors: [
+  "Daniel Schepler"
+]
+
+url {
+  src: "https://github.com/coq-community/topology/archive/v10.2.0.tar.gz"
+  checksum: "sha512=f8812860d729a0d88135515e3214c2196dca2b01410fa0e95a14f510a46ccc02d6b3ea0e7b6a7df1ab1205f31ab7e392a58d9a2083a3a088bc08fee2d8a6a535"
+}

released/packages/coq-zorns-lemma/coq-zorns-lemma.10.2.0/opam

@@ -0,0 +1,42 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+
+homepage: "https://github.com/coq-community/topology"
+dev-repo: "git+https://github.com/coq-community/topology.git"
+bug-reports: "https://github.com/coq-community/topology/issues"
+license: "LGPL-2.1-or-later"
+
+synopsis: "This library develops some basic set theory in Coq"
+description: """
+This Coq library develops some basic set theory.
+The main purpose the author had in writing it
+was as support for the Topology library.
+"""
+
+build: ["dune" "build" "-p" name "-j" jobs]
+depends: [
+  "dune" {>= "2.5"}
+  "coq" {(>= "8.12" & < "8.19~") | (= "dev")}
+]
+
+tags: [
+  "category:Mathematics/Logic/Set theory"
+  "date:2023-08-18"
+  "keyword:set theory"
+  "keyword:cardinals"
+  "keyword:ordinals"
+  "keyword:finite"
+  "keyword:countable"
+  "keyword:quotients"
+  "keyword:well-orders"
+  "keyword:Zorn's lemma"
+  "logpath:ZornsLemma"
+]
+authors: [
+  "Daniel Schepler"
+]
+
+url {
+  src: "https://github.com/coq-community/topology/archive/v10.2.0.tar.gz"
+  checksum: "sha512=f8812860d729a0d88135515e3214c2196dca2b01410fa0e95a14f510a46ccc02d6b3ea0e7b6a7df1ab1205f31ab7e392a58d9a2083a3a088bc08fee2d8a6a535"
+}