Changes in control http://src.iws.cs.ovgu.de/source/rss/hets/utils/debian/auto-package/debian-common/control en Copyright 2005 Java use isabelle-installer /hets/utils/debian/auto-package/debian-common/control - b95472e52d623ff18295b2430d555f82c1a4051a cmaeder <cmaeder@users.noreply.github.com> get hets-lib via git /hets/utils/debian/auto-package/debian-common/control - 8e3951581eae2ee4c13a1db9fe91324628e3ddb0 cmaeder <cmaeder@users.noreply.github.com> switch back to isabelle dependency /hets/utils/debian/auto-package/debian-common/control - 1c30f54acb3094bad01204cd2d96e78164c805a3 cmaeder <cmaeder@users.noreply.github.com> use isabelle-installer /hets/utils/debian/auto-package/debian-common/control - 057a91b0330e933136fd9c9b96258b9aa3106515 cmaeder <cmaeder@users.noreply.github.com> adjust Hets-lib and still use Isabelle2012 dependency /hets/utils/debian/auto-package/debian-common/control - 95c748c15129830d399012c07dd9824b5942d962 cmaeder <cmaeder@users.noreply.github.com> reinserted comma git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18586 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/control - 8f602b90571f89d400abd4b7653d66c547a84201 Christian Maeder <Christian.Maeder@dfki.de> fewer dependencies git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18585 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/control - a7808f9e23691d31b1b6b12e0735c13829171db5 Christian Maeder <Christian.Maeder@dfki.de> revert spechub/Hets@d0ffef7bea48ff2982cc90a7688a325448b7402b as subversion is needed for -update and not for building git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18578 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/control - 7f6499ac9dbd3571a83e64e661e13871ac4694a7 Christian Maeder <Christian.Maeder@dfki.de> added subversion as build-dep git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18575 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/control - d0ffef7bea48ff2982cc90a7688a325448b7402b Christian Maeder <Christian.Maeder@dfki.de> adjust udrawgraph deps git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18574 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/control - 810cb6a3b67381fd0af1cb6dc9d721ca455a09a0 Christian Maeder <Christian.Maeder@dfki.de> added i386 dependency of uDrawGraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18288 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/control - e3a6d495438f9bbc13dc198c65ea1782746bb5de Christian Maeder <Christian.Maeder@dfki.de> removed minisat, yices and z3 again as we switched back to old aprove git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18279 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/control - d6451071fbd13228ad358af8bc176814a7525049 Christian Maeder <Christian.Maeder@dfki.de> moved identical control to common and added raring distro git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17913 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/control - 20d9e77ff953099c1be052514d5d8098a2b202b0 Christian Maeder <Christian.Maeder@dfki.de>