From 5af021abe10cd3ce8f1bfe4a856f80511c364c13 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sun, 11 Aug 2024 14:08:43 +0200 Subject: [PATCH] normalized metadata per https://github.com/coq/opam/pull/2731 --- coq-gaia-ordinals.opam | 2 +- coq-gaia-schutte.opam | 2 +- coq-gaia-stern.opam | 2 +- meta.yml | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/coq-gaia-ordinals.opam b/coq-gaia-ordinals.opam index 9333e4f..7f92567 100644 --- a/coq-gaia-ordinals.opam +++ b/coq-gaia-ordinals.opam @@ -26,7 +26,7 @@ tags: [ "category:Mathematics/Arithmetic and Number Theory/Number theory" "keyword:ordered sets" "keyword:ordinal arithmetic" - "keyword:ordinals" + "keyword:ordinal numbers" "keyword:cardinal numbers" "logpath:gaia.ordinals" ] diff --git a/coq-gaia-schutte.opam b/coq-gaia-schutte.opam index 641b980..0a2295d 100644 --- a/coq-gaia-schutte.opam +++ b/coq-gaia-schutte.opam @@ -22,7 +22,7 @@ depends: [ tags: [ "category:Mathematics/Arithmetic and Number Theory/Number theory" "keyword:ordinal arithmetic" - "keyword:ordinals" + "keyword:ordinal numbers" "logpath:gaia.schutte" ] authors: [ diff --git a/coq-gaia-stern.opam b/coq-gaia-stern.opam index c78ef07..bc7e4b5 100644 --- a/coq-gaia-stern.opam +++ b/coq-gaia-stern.opam @@ -22,7 +22,7 @@ depends: [ tags: [ "category:Mathematics/Arithmetic and Number Theory/Number theory" - "keyword:stern-brocot" + "keyword:Stern-Brocot" "keyword:fibonacci numbers" "logpath:gaia.stern" ] diff --git a/meta.yml b/meta.yml index 3672da4..d2f99a6 100644 --- a/meta.yml +++ b/meta.yml @@ -102,7 +102,7 @@ namespace: gaia keywords: - name: Bourbaki - name: set theory -- name: ordinals +- name: ordinal numbers - name: cardinals categories: