diff --git a/packages/conf-mpfr-paths/conf-mpfr-paths.1/opam b/packages/conf-mpfr-paths/conf-mpfr-paths.1/opam index cd7bd11cfe22..3608cf820a32 100644 --- 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: [