conf-sdpa: add Ubuntu-family support

avsm · Sep 5, 2024 · b16a8e7 · b16a8e7
1 parent 5e3a810
commit b16a8e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/conf-sdpa/conf-sdpa.1/opam b/packages/conf-sdpa/conf-sdpa.1/opam
@@ -4,7 +4,7 @@ authors: "SDPA Project"
 homepage: "http://sdpa.sourceforge.net/"
 build: ["sh" "-exc" "command -v sdpa"]
 depexts: [
-  ["sdpa"] {os-family = "debian"}
+  ["sdpa"] {os-family = "debian" | os-family = "ubuntu"}
 ]
 synopsis: "Virtual package relying on a SDPA binary system installation"
 description: