Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#72488 - [coqide] Error updating coqide to version 8.14.0-1
Attached to Project:
Community Packages
Opened by Olivier Guillon (olivierguillon) - Wednesday, 20 October 2021, 14:56 GMT
Last edited by Konstantin Gizdov (kgizdov) - Wednesday, 20 October 2021, 20:52 GMT
Opened by Olivier Guillon (olivierguillon) - Wednesday, 20 October 2021, 14:56 GMT
Last edited by Konstantin Gizdov (kgizdov) - Wednesday, 20 October 2021, 20:52 GMT
|
DetailsDescription:
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. |
This task depends upon
Closed by Konstantin Gizdov (kgizdov)
Wednesday, 20 October 2021, 20:52 GMT
Reason for closing: Fixed
Additional comments about closing: coqide 8.14.0-2
Wednesday, 20 October 2021, 20:52 GMT
Reason for closing: Fixed
Additional comments about closing: coqide 8.14.0-2