summaryrefslogtreecommitdiffstats
path: root/debian/_base/tdesdk
diff options
context:
space:
mode:
authorSlávek Banko <slavek.banko@axis.cz>2019-06-29 10:53:05 +0200
committerSlávek Banko <slavek.banko@axis.cz>2019-06-29 10:53:05 +0200
commitf2fcec0e0ad7cb99ae59fd0cd7af18ec66c99bec (patch)
tree1642887bac90922ef359112f63e5d485a22aa21b /debian/_base/tdesdk
parentd2f604b56bb2cbfdc344d21043c877cb9ee29c2b (diff)
downloadtde-packaging-f2fcec0e0ad7cb99ae59fd0cd7af18ec66c99bec.tar.gz
tde-packaging-f2fcec0e0ad7cb99ae59fd0cd7af18ec66c99bec.zip
DEB tdeedu: Require kalzium/solver only if ocamlopt is available.
In the previous commit ocamldep was wrong - it was supposed to be ocamlopt. Signed-off-by: Slávek Banko <slavek.banko@axis.cz>
Diffstat (limited to 'debian/_base/tdesdk')
0 files changed, 0 insertions, 0 deletions