You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
tde-packaging/ubuntu/_base/tdeedu
Slávek Banko f2fcec0e0a
DEB tdeedu: Require kalzium/solver only if ocamlopt is available.
5 years ago
..
debian DEB tdeedu: Require kalzium/solver only if ocamlopt is available. 5 years ago