Merge pull request ocaml#24375 from jmid/conf-unwind-ubuntu

conf-unwind.1 with a fix for os-family=ubuntu
sim642 · Sep 12, 2023 · 8c698f3 · 8c698f3
2 parents 609cd39 + 8b803ed
commit 8c698f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/conf-unwind/conf-unwind.0/opam b/packages/conf-unwind/conf-unwind.0/opam
@@ -7,7 +7,7 @@ license: "MIT"
 build: [["pkg-config" "--short-errors" "--print-errors" "libunwind"]]
 depends: ["conf-pkg-config" {build}]
 depexts: [
-  ["libunwind-dev"] {os-family = "debian"}
+  ["libunwind-dev"] {os-family = "debian" | os-family = "ubuntu"}
   ["libunwind-devel"] {os-distribution = "centos"}
   ["libunwind-devel"] {os-distribution = "rhel"}
   ["libunwind-devel"] {os-distribution = "fedora"}