Fix cygwin depext check for conf-mpfr

punchagan · punchagan · commit 29d3c44d1cf3 · 2025-06-10T17:46:29.000+05:30
diff --git a/packages/conf-mpfr/conf-mpfr.3/opam b/packages/conf-mpfr/conf-mpfr.3/opam
@@ -25,6 +25,7 @@ depexts: [
   ["mpfr-dev"] {os-family = "alpine"}
   ["mpfr-devel"] {os-family = "suse" | os-family = "opensuse"}
   ["mpfr"] {os = "win32" & os-distribution = "cygwinports"}
+  ["libmpfr-devel"] {os = "win32" & os-distribution = "cygwin"}
 ]
 synopsis: "Virtual package relying on library MPFR installation"
 description:

Original file line number	Diff line number	Diff line change
`@@ -25,6 +25,7 @@ depexts: [`
`25`	`25`	`["mpfr-dev"] {os-family = "alpine"}`
`26`	`26`	`["mpfr-devel"] {os-family = "suse" \| os-family = "opensuse"}`
`27`	`27`	`["mpfr"] {os = "win32" & os-distribution = "cygwinports"}`
	`28`	`+ ["libmpfr-devel"] {os = "win32" & os-distribution = "cygwin"}`
`28`	`29`	`]`
`29`	`30`	`synopsis: "Virtual package relying on library MPFR installation"`
`30`	`31`	`description:`