Last updated on: 2022-09-26 02:18 [UTC]
Hints for coqide in main
coqide.desktop ⚙ amd64
The icon 'coq' was not found in the archive. This issue can have multiple reasons:
To make the icon easier to find, place it in
- The icon is not present in the archive.
- The icon is in a wrong directory.
- The icon is not available in a suitable size (at least 64x64px)
- On Debian and Ubuntu, the icon is a symlink. The generator cannot read symlinks on these distributions - make the icon a real file.
/usr/share/icons/hicolor/<size>/apps and ensure the
of the .desktop file is set correctly.
This software component is missing a MetaInfo file to provide metadata.
We currently took some data from its desktop-entry file and the long description of the package it is located in.
This has several disadvantages, like poor markup, too technical descriptions for users of software centers, different components having the same description, etc.
Additionally, a lot of software with desktop-entry files should either not be installable and searchable via the software catalog (like desktop-specific settings applications) or be tagged accordingly via MetaInfo files.
Please consider to either hide this desktop-entry file from AppStream by adding a
X-AppStream-Ignore=true field to it, or to write a MetaInfo file for this component and send it upstream.
Generating components from non-MetaInfo files is deprecated, if you do not add a MetaInfo file,
this software may vanish from the metadata catalog (and if it is a GUI application, no longer be visible in software centers) in a future distribution release.
You can consult the MetaInfo quickstart guides for more information on how to write a MetaInfo file,
or file a bug with the upstream author of this software component.