Public bug reported: Coqide ships with a .desktop that is affected by bug #47426. Besides that, I remove the absolute path and exec and improved the name.
** Affects: coq (Ubuntu) Importance: Low Assignee: MOTU Status: Unconfirmed ** Affects: coq (Debian) Importance: Unknown Status: Unknown -- bad .desktop https://launchpad.net/bugs/49546 -- universe-bugs mailing list universe-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/universe-bugs