Update OPAM keywords

proux01 · proux01 · commit 71f901990468 · 2026-02-11T11:21:07.000+01:00
Backport from OPAM repo
diff --git a/coq-bignums.opam b/coq-bignums.opam
@@ -21,7 +21,7 @@ tags: [
   "keyword:integer numbers"
   "keyword:rational numbers"
   "keyword:arithmetic"
-  "keyword:arbitrary precision"
+  "keyword:arbitrary-precision"
   "logpath:Bignums"
 ]
 authors: [
diff --git a/meta.yml b/meta.yml
@@ -54,7 +54,7 @@ keywords:
 - name: integer numbers
 - name: rational numbers
 - name: arithmetic
-- name: arbitrary precision
+- name: arbitrary-precision
 
 categories:
 - name: Miscellaneous/Coq Extensions
diff --git a/rocq-bignums.opam b/rocq-bignums.opam
@@ -30,7 +30,7 @@ tags: [
   "keyword:integer numbers"
   "keyword:rational numbers"
   "keyword:arithmetic"
-  "keyword:arbitrary precision"
+  "keyword:arbitrary-precision"
   "logpath:Bignums"
 ]
 authors: [

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ tags: [`
`21`	`21`	`"keyword:integer numbers"`
`22`	`22`	`"keyword:rational numbers"`
`23`	`23`	`"keyword:arithmetic"`
`24`		`- "keyword:arbitrary precision"`
	`24`	`+ "keyword:arbitrary-precision"`
`25`	`25`	`"logpath:Bignums"`
`26`	`26`	`]`
`27`	`27`	`authors: [`
Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,7 @@ tags: [`
`30`	`30`	`"keyword:integer numbers"`
`31`	`31`	`"keyword:rational numbers"`
`32`	`32`	`"keyword:arithmetic"`
`33`		`- "keyword:arbitrary precision"`
	`33`	`+ "keyword:arbitrary-precision"`
`34`	`34`	`"logpath:Bignums"`
`35`	`35`	`]`
`36`	`36`	`authors: [`