History log of /hets/HolLight/OcamlTools/debian/changelog
Revision Date Author Comments Expand
6cbc5d30faa29a55d3ae5ca42f2dbca012a1fab7 19-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

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

293d6a21360117b9c8d81f2811fe2e94539cf955 08-Dec-2011 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