Arch Linux

Description:
I was unable to update coqide and coq to version 8.14.0-1, as a bunch of files needed by coqide were yet installed by the new coq update. So I uninstalled coqide, updated coq, which worked fine. It seems coqide is now shipping with coq... The only problem is that now coqide is no more listed in the graphical apps (usr/share/applications/coqide.desktop is missing) and can only be started from the terminal. Not a big problem but a little annoying.

Here is a copy of pacman output :

sudo pacman -S coqide coq
[...]
erreur : la validation de la transaction a échoué (conflit de fichiers )
/usr/bin/coqide est présent à la fois dans « coq » et « coqide »
/usr/doc/coqide/FAQ est présent à la fois dans « coq » et « coqide »
/usr/doc/coqide/LICENSE est présent à la fois dans « coq » et « coqide »
/usr/doc/coqide/README.md est présent à la fois dans « coq » et « coqide »
/usr/doc/coqide/odoc-pages/index.mld est présent à la fois dans « coq » et « coqide »
/usr/lib/coqide/META est présent à la fois dans « coq » et « coqide »
/usr/lib/coqide/dune-package est présent à la fois dans « coq » et « coqide »
/usr/lib/coqide/opam est présent à la fois dans « coq » et « coqide »
/usr/share/coq/coq-ssreflect.lang est présent à la fois dans « coq » et « coqide »
/usr/share/coq/coq.lang est présent à la fois dans « coq » et « coqide »
/usr/share/coq/coq.png est présent à la fois dans « coq » et « coqide »
/usr/share/coq/coq_style.xml est présent à la fois dans « coq » et « coqide »
/usr/share/coq/default.bindings est présent à la fois dans « coq » et « coqide »
Des erreurs se sont produites, aucun paquet n’a été mis à jour.

Steps to reproduce:
Try to update coq and coqide from previous version.