Forwarded to Debian ... ** Bug watch added: Debian Bug tracker #383310 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=383310
** Also affects: coq (Debian) via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=383310 Importance: Unknown Status: Unknown -- bad .desktop https://launchpad.net/bugs/49546 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
