diff options
| author | Slávek Banko <slavek.banko@axis.cz> | 2019-06-29 10:53:05 +0200 |
|---|---|---|
| committer | Slávek Banko <slavek.banko@axis.cz> | 2019-06-29 10:53:05 +0200 |
| commit | f2fcec0e0ad7cb99ae59fd0cd7af18ec66c99bec (patch) | |
| tree | 1642887bac90922ef359112f63e5d485a22aa21b /ubuntu/_base/applications/kima | |
| parent | d2f604b56bb2cbfdc344d21043c877cb9ee29c2b (diff) | |
| download | tde-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 'ubuntu/_base/applications/kima')
0 files changed, 0 insertions, 0 deletions