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#54313 - [aspcud] has conflicting dependencies ([clingo] and [clasp])

Attached to Project: Community Packages
Opened by Wil Thomason (wbthomason) - Monday, 05 June 2017, 16:24 GMT
Last edited by Antonio Rojas (arojas) - Monday, 05 June 2017, 16:26 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To No-one
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

Details

Description: clingo and clasp have a file conflict on /usr/bin/clasp and /usr/bin/lpconvert. Both are required by aspcud, so aspcud (which is a dependency of opam) cannot be installed.


Additional info:
* aspcud 1.9.1-1, clingo 5.2.0-1, clasp 3.3.0-2


Steps to reproduce:
* Attempt to install aspcud with `sudo pacman -S aspcud`
This task depends upon

Closed by  Antonio Rojas (arojas)
Monday, 05 June 2017, 16:26 GMT
Reason for closing:  Duplicate
Additional comments about closing:   FS#54308 

Loading...