summaryrefslogtreecommitdiffstats
path: root/ubuntu/artful
diff options
context:
space:
mode:
authorSlávek Banko <[email protected]>2019-06-29 10:53:05 +0200
committerSlávek Banko <[email protected]>2019-06-29 10:53:29 +0200
commit8bb18621b7b62ef46fda3b24483e28baaaf9d1eb (patch)
treece95c71ea54737fb00e01b7c9015e1d1a9625262 /ubuntu/artful
parentc51c82ef736e35446525d35f70b8d7cd5b380361 (diff)
downloadtde-packaging-8bb18621b7b62ef46fda3b24483e28baaaf9d1eb.tar.gz
tde-packaging-8bb18621b7b62ef46fda3b24483e28baaaf9d1eb.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 <[email protected]> (cherry picked from commit f2fcec0e0ad7cb99ae59fd0cd7af18ec66c99bec)
Diffstat (limited to 'ubuntu/artful')
0 files changed, 0 insertions, 0 deletions