Make tag_of_distro and distro_of_tag use centos-n name (#250)

MisterDA · web-flow · commit 3de5d25c7e4a · 2025-12-03T19:07:04.000+01:00
diff --git a/src-opam/distro.ml b/src-opam/distro.ml
@@ -849,8 +849,8 @@ let distro_of_tag x : t option =
   | "centos-6" -> Some (`CentOS `V6)
   | "centos-7" -> Some (`CentOS `V7)
   | "centos-8" -> Some (`CentOS `V8)
-  | "centos-stream-9" -> Some (`CentOS `V9)
-  | "centos-stream-10" -> Some (`CentOS `V10)
+  | "centos-9" -> Some (`CentOS `V9)
+  | "centos-10" -> Some (`CentOS `V10)
   | "fedora-21" -> Some (`Fedora `V21)
   | "fedora-22" -> Some (`Fedora `V22)
   | "fedora-23" -> Some (`Fedora `V23)
