Changes in control http://src.iws.cs.ovgu.de/source/rss/hets/HolLight/OcamlTools/debian/control en Copyright 2005 Java support i386 and amd64, add run deps, no debian package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16561 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HolLight/OcamlTools/debian/control - 6cbc5d30faa29a55d3ae5ca42f2dbca012a1fab7 Christian Maeder <Christian.Maeder@dfki.de> create hets-hollight-tool versions manually git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16550 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HolLight/OcamlTools/debian/control - 293d6a21360117b9c8d81f2811fe2e94539cf955 Christian Maeder <Christian.Maeder@dfki.de>