Community Packages

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!
Tasklist

FS#54647 - [aspcud] Conflict with clasp provided by clingo

Attached to Project: Community Packages
Opened by Pierre Manceron (phylliade) - Friday, 30 June 2017, 13:22 GMT
Last edited by Alexander F. Rødseth (xyproto) - Friday, 30 June 2017, 15:50 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Alexander F. Rødseth (xyproto)
Architecture All
Severity High
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

Details

Description:
aspcud has clingo as a dependency, and is (since version 1.9.1-2) conflicting with clasp.
But clingo is providing clasp, thus the conflict.

Additional info:
* aspcud 1.9.1-2
* clingo 5.2.0-2


Steps to reproduce:
* Try to install aspcud
It fails with a conflict between aspcud and clingo:
```
erreur : un conflit de paquets impossible à résoudre a été détecté
erreur : la préparation de la transaction a échoué (conflit de dépendances)
:: aspcud et clingo sont en conflit
```
(Pardon my French!)
This task depends upon

Closed by  Alexander F. Rødseth (xyproto)
Friday, 30 June 2017, 15:50 GMT
Reason for closing:  Fixed

Loading...