this repo has no description
conf-csdp: Correct os-distribution for Arch
+1
-1
+1
-1
packages/conf-csdp/conf-csdp.1/opam
+1
-1
packages/conf-csdp/conf-csdp.1/opam
···
7
7
depexts: [
8
8
["coinor-csdp"] {os-family = "debian" | os-family = "ubuntu"}
9
9
["csdp-tools"] {os-distribution = "centos" | os-distribution = "fedora" | os-distribution = "ol"}
10
-
["coin-or-csdp"] {os-distribution = "archlinux"}
10
+
["coin-or-csdp"] {os-distribution = "arch"}
11
11
["coin-or-csdp"] {os = "freebsd"}
12
12
]
13
13
synopsis: "Virtual package relying on a CSDP binary system installation"