anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #25492 from jmid/conf-libtool-ubuntu-family

Add conf-libtool support for Ubuntu derivatives

authored by

Marcello Seri and committed by
GitHub 6d7b46b9 bc029c25

+1
+1
packages/conf-libtool/conf-libtool.1/opam
··· 10 10 ] 11 11 depexts: [ 12 12 ["libtool"] {os-family = "debian"} 13 + ["libtool"] {os-family = "ubuntu"} 13 14 ["libtool"] {os-distribution = "centos"} 14 15 ["libtool"] {os-distribution = "fedora"} 15 16 ["libtool"] {os-distribution = "arch"}