diff options
| author | Slávek Banko <[email protected]> | 2019-12-10 09:41:07 +0100 |
|---|---|---|
| committer | Slávek Banko <[email protected]> | 2019-12-10 09:41:38 +0100 |
| commit | 4adc2d19c5c5d04ad0dbdf293b3cc658e158b3c1 (patch) | |
| tree | 48213b565a6f2f4f152a32f5a6cd4c6be973f914 /ubuntu/disco | |
| parent | 1a476bf1b10b4891ac6d1cc2b7506af41463b3f7 (diff) | |
| download | tde-packaging-4adc2d19c5c5d04ad0dbdf293b3cc658e158b3c1.tar.gz tde-packaging-4adc2d19c5c5d04ad0dbdf293b3cc658e158b3c1.zip | |
DEB tdeedu: Add libnum-ocaml-dev as alternate dependency.
Signed-off-by: Slávek Banko <[email protected]>
(cherry picked from commit 27f9d57b41d6ff53c4c232dc877545eadeae3213)
Diffstat (limited to 'ubuntu/disco')
0 files changed, 0 insertions, 0 deletions