this repo has no description

conf-ppl: add support for Ubuntu derivatives

Changed files
+1
packages
conf-ppl
conf-ppl.1
+1
packages/conf-ppl/conf-ppl.1/opam
···
]
depexts: [
["libppl-dev"] {os-family = "debian"}
+
["libppl-dev"] {os-family = "ubuntu"}
["ppl"] {os-distribution = "arch"}
["dev-libs/ppl"] {os-distribution = "gentoo"}
["libppl" "libppl-devel"] {os-distribution = "centos"}