Merge pull request #3377 from olaure01/ollibs

rocq-ollibs v2.0.8

Author: silene

Diff for: released/packages/coq-ollibs/coq-ollibs.2.0.0/opam

@@ -37,7 +37,7 @@ tags: [
   "keyword:permutation"
   "keyword:decidable equality"
   "keyword:finite multisets"
-  "category:Miscellaneous/Coq Extensions"
+  "category:Mathematics/Combinatorics and Graph Theory"
   "date:2020-08-04"
   "logpath:OLlibs"
 ]

Diff for: released/packages/coq-ollibs/coq-ollibs.2.0.1/opam

@@ -37,7 +37,7 @@ tags: [
   "keyword:permutation"
   "keyword:decidable equality"
   "keyword:finite multisets"
-  "category:Miscellaneous/Coq Extensions"
+  "category:Mathematics/Combinatorics and Graph Theory"
   "date:2021-01-13"
   "logpath:OLlibs"
 ]

Diff for: released/packages/coq-ollibs/coq-ollibs.2.0.2/opam

@@ -37,7 +37,7 @@ tags: [
   "keyword:permutation"
   "keyword:decidable equality"
   "keyword:finite multisets"
-  "category:Miscellaneous/Coq Extensions"
+  "category:Mathematics/Combinatorics and Graph Theory"
   "date:2022-01-02"
   "logpath:OLlibs"
 ]

Diff for: released/packages/coq-ollibs/coq-ollibs.2.0.3/opam

@@ -37,7 +37,7 @@ tags: [
   "keyword:permutation"
   "keyword:decidable equality"
   "keyword:finite multisets"
-  "category:Miscellaneous/Coq Extensions"
+  "category:Mathematics/Combinatorics and Graph Theory"
   "date:2022-11-26"
   "logpath:OLlibs"
 ]

Diff for: released/packages/coq-ollibs/coq-ollibs.2.0.4/opam

@@ -37,7 +37,7 @@ tags: [
   "keyword:permutation"
   "keyword:decidable equality"
   "keyword:finite multisets"
-  "category:Miscellaneous/Coq Extensions"
+  "category:Mathematics/Combinatorics and Graph Theory"
   "date:2023-04-05"
   "logpath:OLlibs"
 ]

Diff for: released/packages/coq-ollibs/coq-ollibs.2.0.5/opam

@@ -37,7 +37,7 @@ tags: [
   "keyword:permutation"
   "keyword:decidable equality"
   "keyword:finite multisets"
-  "category:Miscellaneous/Coq Extensions"
+  "category:Mathematics/Combinatorics and Graph Theory"
   "date:2023-09-17"
   "logpath:OLlibs"
 ]

Diff for: released/packages/coq-ollibs/coq-ollibs.2.0.6/opam

@@ -37,7 +37,7 @@ tags: [
   "keyword:permutation"
   "keyword:decidable equality"
   "keyword:finite multisets"
-  "category:Miscellaneous/Coq Extensions"
+  "category:Mathematics/Combinatorics and Graph Theory"
   "date:2024-09-15"
   "logpath:OLlibs"
 ]

Diff for: released/packages/coq-ollibs/coq-ollibs.2.0.7/opam

@@ -37,7 +37,7 @@ tags: [
   "keyword:permutation"
   "keyword:decidable equality"
   "keyword:finite multisets"
-  "category:Miscellaneous/Coq Extensions"
+  "category:Mathematics/Combinatorics and Graph Theory"
   "date:2024-09-16"
   "logpath:OLlibs"
 ]

Diff for: released/packages/rocq-ollibs/rocq-ollibs.2.0.8/opam

@@ -0,0 +1,44 @@
+opam-version: "2.0"
+synopsis: "OL libraries"
+description: """
+  Add-ons for the Rocq standard library
+"""
+
+homepage: "https://github.com/olaure01/ollibs"
+dev-repo: "git+https://github.com/olaure01/ollibs.git"
+bug-reports: "https://github.com/olaure01/ollibs/issues"
+doc: "https://github.com/olaure01/ollibs/blob/master/README.md"
+maintainer: "[email protected]"
+authors: [
+  "Olivier Laurent" "Christophe Lucas"
+]
+license: "LGPL-3.0-or-later"
+
+depends: [
+  "rocq-core"
+  "rocq-stdlib" { >= "9.0" & < "9.1~" }
+]
+
+build: [
+  ["./configure"]
+  [make "-j%{jobs}%"]
+]
+install: [
+  [make "install"]
+]
+
+url {
+  src: "https://github.com/olaure01/ollibs/archive/v2.0.8.tar.gz"
+  checksum: "sha256=4db50ba3f2cc2e8997c3564739d1856823b4ed8284dd1f5ab3aff8cfa65e701d"
+}
+
+tags: [
+  "keyword:standard library"
+  "keyword:list"
+  "keyword:permutation"
+  "keyword:decidable equality"
+  "keyword:finite multisets"
+  "category:Mathematics/Combinatorics and Graph Theory"
+  "date:2025-04-03"
+  "logpath:OLlibs"
+]