FS#54317 - Conflict between clasp 3.3.0-3 and clingo 5.2.0-1

Attached to Project: Arch Linux
Opened by Bertrand Bonnefoy-Claudet (bbc) - Monday, 05 June 2017, 22:18 GMT
Last edited by Doug Newgard (Scimmia) - Monday, 05 June 2017, 22:39 GMT
Task Type Bug Report
Category Arch Projects
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 3
Private No

Details

Both packages clasp and clingo provide /usr/bin/clasp. By the way, both are required by aspcud 1.9.1-1.

# pacman -S clingo
resolving dependencies...
looking for conflicting packages...

Packages (1) clingo-5.2.0-1

Total Installed Size: 6.39 MiB
Net Upgrade Size: -3.86 MiB

:: Proceed with installation? [Y/n]
(1/1) checking keys in keyring [######################################################################] 100%
(1/1) checking package integrity [######################################################################] 100%
(1/1) loading package files [######################################################################] 100%
(1/1) checking for file conflicts [######################################################################] 100%
error: failed to commit transaction (conflicting files)
clingo: /usr/bin/clasp exists in filesystem
Errors occurred, no packages were upgraded.
This task depends upon

Closed by  Doug Newgard (Scimmia)
Monday, 05 June 2017, 22:39 GMT
Reason for closing:  Duplicate
Additional comments about closing:   FS#54308 

Loading...