* Norman Ramsey <nr at eecs.harvard.edu> [2008-07-03 19:05]: > Package: gnome-inform7 > Version: 5T18-ubuntu1 Is this package also in Debian? (I cannot find it) If not, please report this to Ubuntu instead. -- Martin Michlmayr http://www.cyrius.com/