Changes in postinst http://src.iws.cs.ovgu.de/source/rss/hets/utils/debian/auto-package/debian-common/postinst en Copyright 2005 Java corrected shebang /hets/utils/debian/auto-package/debian-common/postinst - 206a53a0c9409cec755494271d771e8b38b2dfbb cmaeder <cmaeder@users.noreply.github.com> isabelle test /hets/utils/debian/auto-package/debian-common/postinst - 1e3d9c289b9629347d8525f1c87bf9ae631c97c1 cmaeder <cmaeder@users.noreply.github.com> use isabelle-installer /hets/utils/debian/auto-package/debian-common/postinst - b95472e52d623ff18295b2430d555f82c1a4051a cmaeder <cmaeder@users.noreply.github.com>