Changes in package_trunk http://src.iws.cs.ovgu.de/source/rss/hets/utils/debian/auto-package/package_trunk en Copyright 2005 Java removed unnecessary git-svn /hets/utils/debian/auto-package/package_trunk - d9885138f091895edda4a08ec44e653aa87e195b cmaeder <c.maeder@jacobs-university.de> use HEAD to support a branch /hets/utils/debian/auto-package/package_trunk - d7836a1bdb213daedb668c6e072ff7b7f61f09e0 cmaeder <cmaeder@users.noreply.github.com> adjust Hets-lib and still use Isabelle2012 dependency /hets/utils/debian/auto-package/package_trunk - 95c748c15129830d399012c07dd9824b5942d962 cmaeder <cmaeder@users.noreply.github.com> current version for packaging hets Note, that empty directories (i.e. debian/trusty) must be created for this script to work! Yet, git does not track empty directories and I don't want to duplicate files or have dummy files in releases. Further adjustment is needed once Hets-lib is on github. /hets/utils/debian/auto-package/package_trunk - 7430daee2222f640e45279b11a5aa81ae8c7842a cmaeder <cmaeder@users.noreply.github.com> update programatica and add rev.txt git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18596 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - 9d64fbf2059f120d81ec578e478e7eee348e3473 Christian Maeder <Christian.Maeder@dfki.de> current releases git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18448 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - 728e3abf5bd16d9321a16591fc83839d92cf7bc4 Christian Maeder <Christian.Maeder@dfki.de> adjusted cleaning up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17314 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - f99f6b1a72dd3e7b1d47cdc9ce4adc0d0e8fad78 Christian Maeder <Christian.Maeder@dfki.de> corrected tar command call git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17294 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - 0bad47e34a37adf61948e6337aa0c367a8fe7136 Christian Maeder <Christian.Maeder@dfki.de> try to use programatica cabal package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17292 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - 8fa7f6e49c63443c70696c4b8f01fb01c0c165df Christian Maeder <Christian.Maeder@dfki.de> First changes to package_trunk git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16723 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - e807d7cd75aeb0e0dd399c66aaa575e0902b32c9 Jonathan von Schroeder <sternkinder@gmail.com> Consolidated duplicate files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16683 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - bc98c290fad74b5748058b2db1509e0cb38d4351 Jonathan von Schroeder <sternkinder@gmail.com> Added dependency on texlive-latex-extra for paralist.sty git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16660 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - d97778f24ea1648c6fce59b08be54dddb5c6ab91 Jonathan von Schroeder <sternkinder@gmail.com> Added dependency on devscripts (for debuild) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16658 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - 2cfe33dba77fda67910107bc60d84d7ed6c318f6 Jonathan von Schroeder <sternkinder@gmail.com> fixed a small bug introduced by the last commit git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16657 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - 747d06d91101c433c8432437147db244267d2d8f Jonathan von Schroeder <sternkinder@gmail.com> Avoid full checkouts in favor of svn updates git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16656 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - f263b510552a86cf7bdc84d62fc8a4467d8777e7 Jonathan von Schroeder <sternkinder@gmail.com> reverted accidental commit git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16563 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - 1d4638892dcd33fb8545f073e2c1f7f4932b716d Christian Maeder <Christian.Maeder@dfki.de> better building and hets-hollight-tools dep git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16562 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - 336a867b44885e4de70874dcb2402c33427284cd Christian Maeder <Christian.Maeder@dfki.de> adjusted building wrt hollight tools git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16526 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - bd311188443acfdfb3a82cf5883eab89c1de193d Christian Maeder <Christian.Maeder@dfki.de> adjusted to moved hol files spechub/Hets@aecb6dd5fe65b426c7044c9009ee4a6e3d9783b6 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16485 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - d578953b0c82517b7b3413d55efde0d8e1f8f695 Christian Maeder <Christian.Maeder@dfki.de> install hets-hollight-tools git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16471 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/package_trunk - f9205242fea27450f6b17b1405ff4edeb779df46 Christian Maeder <Christian.Maeder@dfki.de>