Merge pull request #28252 from jmid/patch-conf-mpfr-paths-opensuse

mseri · web-flow · commit f2d9175f1450 · 2025-07-25T08:52:29.000+02:00
Add OpenSuse support for `conf-mpfr-paths`
diff --git a/packages/conf-mpfr-paths/conf-mpfr-paths.1/opam b/packages/conf-mpfr-paths/conf-mpfr-paths.1/opam
@@ -38,7 +38,7 @@ depexts: [
   ["mpfr"] {os = "openbsd"}
   ["mpfr"] {os-family = "arch"}
   ["mpfr-dev"] {os-family = "alpine"}
-  ["mpfr-devel"] {os-family = "suse"}
+  ["mpfr-devel"] {os-family = "suse" | os-family = "opensuse"}
   ["mpfr"] {os = "win32" & os-distribution = "cygwinports"}
 ]
 available: [

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ depexts: [`
`38`	`38`	`["mpfr"] {os = "openbsd"}`
`39`	`39`	`["mpfr"] {os-family = "arch"}`
`40`	`40`	`["mpfr-dev"] {os-family = "alpine"}`
`41`		`- ["mpfr-devel"] {os-family = "suse"}`
	`41`	`+ ["mpfr-devel"] {os-family = "suse" \| os-family = "opensuse"}`
`42`	`42`	`["mpfr"] {os = "win32" & os-distribution = "cygwinports"}`
`43`	`43`	`]`
`44`	`44`	`available: [`