I've put it on Education category
** Changed in: coq (Ubuntu)
Assignee: (unassigned) => Jonh Wendell
Status: Confirmed => In Progress** Attachment added: "debdiff" http://librarian.launchpad.net/6898294/coq.diff -- bad .desktop https://launchpad.net/bugs/49546 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
