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