Arch Linux

Reverier

Member

Registered: 2020-01-25

Posts: 18

package python-z3 and z3 are in conflict (z3-4.8.9-1)

$ sudo pacman -Syyu python-z3
:: Synchronizing package databases...
 core                                  131.6 KiB  2.57 MiB/s 00:00 [####################################] 100%
 extra                                1663.6 KiB  1450 KiB/s 00:01 [####################################] 100%
 community                               5.2 MiB  3.43 MiB/s 00:02 [####################################] 100%
 multilib                              159.6 KiB  3.54 MiB/s 00:00 [####################################] 100%
:: Starting full system upgrade...
resolving dependencies...
looking for conflicting packages...

Packages (2) z3-4.8.9-1  python-z3-4.8.9-1

Total Installed Size:  34.37 MiB

:: Proceed with installation? [Y/n] 
(2/2) checking keys in keyring                                     [####################################] 100%
(2/2) checking package integrity                                   [####################################] 100%
(2/2) loading package files                                        [####################################] 100%
(2/2) checking for file conflicts                                  [####################################] 100%
error: failed to commit transaction (conflicting files)
/usr/lib/pkgconfig/z3.pc exists in both 'z3' and 'python-z3'
Errors occurred, no packages were upgraded.

philo

Member

Registered: 2015-01-26

Posts: 275

Re: package python-z3 and z3 are in conflict (z3-4.8.9-1)

What about first running a plain:

sudo pacman -Syu

Last edited by philo (2020-09-12 09:20:45)

Reverier

Member

Registered: 2020-01-25

Posts: 18

Re: package python-z3 and z3 are in conflict (z3-4.8.9-1)

What about first running a plain:

sudo pacman -Syu

it will output the same error and stop upgrading.

Released z3-4.8.9-2 fixed that, this problem is solved, thanks for your reply!