⇦ | coqide [xenial]
Last updated on: 2016-11-16 10:55:24 UTC

Hints for coqide in xenial

coqide/8.4pl4dfsg-3build2: coqide.desktop ⚙ amd64 ⚙ armhf ⚙ i386 ⚙ s390x ⚙ arm64 ⚙ ppc64el ⚙ powerpc

Errors

  • icon-format-unsupported
    Icon file 'coq.xpm' uses an unsupported image file format.
  • gui-app-without-icon
    The GUI application (application which has a .desktop file for the XDG menu and Type=Application) with AppStream-ID 'coqide.desktop' has been found, but we could not find a matching icon.