Rename archlinux to arch

mtelvers · mtelvers · commit 7a1e6fd13da6 · 2023-09-26T14:45:25.000+01:00
diff --git a/packages/conf-libgsasl/conf-libgsasl.1/opam b/packages/conf-libgsasl/conf-libgsasl.1/opam
@@ -13,7 +13,7 @@ depexts: [
   ["libgsasl-dev"] {os-distribution = "alpine"}
   ["libgsasl-devel"] {os-family = "suse" | os-family = "opensuse"}
   ["libgsasl-devel"] {os-distribution = "fedora"}
-  ["gsasl"] {os-distribution = "archlinux"}
+  ["gsasl"] {os-distribution = "arch"}
 ]
 synopsis: "Virtual package relying on a GSASL lib system installation"
 description:

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ depexts: [`
`13`	`13`	`["libgsasl-dev"] {os-distribution = "alpine"}`
`14`	`14`	`["libgsasl-devel"] {os-family = "suse" \| os-family = "opensuse"}`
`15`	`15`	`["libgsasl-devel"] {os-distribution = "fedora"}`
`16`		`- ["gsasl"] {os-distribution = "archlinux"}`
	`16`	`+ ["gsasl"] {os-distribution = "arch"}`
`17`	`17`	`]`
`18`	`18`	`synopsis: "Virtual package relying on a GSASL lib system installation"`
`19`	`19`	`description:`