this repo has no description
conf-mpi: add support for Ubuntu derivatives
+1
+1
packages/conf-mpi/conf-mpi.1/opam
+1
packages/conf-mpi/conf-mpi.1/opam
···
7
7
depends: ["conf-pkg-config" {build}]
8
8
depexts: [
9
9
["mpi-default-dev"] {os-family = "debian"}
10
+
["mpi-default-dev"] {os-family = "ubuntu"}
10
11
["openmpi-devel"] {os-distribution = "centos"}
11
12
["openmpi-devel"] {os-distribution = "fedora"}
12
13
["openmpi"] {os-family = "suse" | os-family = "opensuse"}