Assert in pkg_solve when conflicting

[stromnet]

Just tried to do pkg upgrade using pkg 1.3.5.1 on FreeBSD 9.2-RELEASE-p7, with quite a lot of packages, resulting in assert. Executed with -d below:

root@back-1:~ # pkg -d upgrade
Updating repository catalogue
back-1 repository is up-to-date
All repositories are up-to-date
Checking for upgrades: 100%
Checking integrity...
Conflict found on path /usr/local/share/licenses/libzmq4-4.0.4_2/catalog.mk between libzmq4~net/libzmq4 and libzmq4~net/libzmq4
Conflict found on path /usr/local/share/licenses/libzmq4-4.0.4_2/LICENSE between libzmq4~net/libzmq4 and libzmq4~net/libzmq4
Conflict found on path /usr/local/share/licenses/libzmq4-4.0.4_2/LGPL3 between libzmq4~net/libzmq4 and libzmq4~net/libzmq4
Conflict found on path /usr/local/bin/curve_keygen between libzmq4~net/libzmq4 and libzmq4~net/libzmq4
Conflict found on path /usr/local/include/zmq.h between libzmq4~net/libzmq4 and libzmq4~net/libzmq4
...
Conflict found on path /usr/local/man/man7/zmq_tcp.7.gz between libzmq4~net/libzmq4 and libzmq4~net/libzmq4
 done (3 conflicting)
Assertion failed: (var == elt->var), function pkg_solve_sat_problem, file pkg_solve.c, line 508.
Child process pid=98899 terminated abnormally: Abort trap: 6
root@back-1:~ #665 

libzmq4 is not actually installed, but libzmq3 is.
Uninstalling libzmq3 and installing libzmq4 removed the above problem.

The reason libzmq4 was about to be installed was that net/py-pyzmq depends on libzmq4 explicitly. My previous py-pyzmq version did that too, so unsure how zmq3 was installed but not zmq4 in the first place.. But that is probably not related to this bug.

[bdrewery]

@vstakhov has this been resolved?

[bdrewery]

Strange that it conflicted with itself.

[bdrewery]

@stromnet can you please checkout ports and try ports-mgmt/pkg-devel to see if it fixes this issue? That would be very helpful.

[bdrewery]

Updating database digests format: 100%
Checking for upgrades: 100%
Assertion failed: (var == elt->var), function pkg_solve_sat_problem, file pkg_solve.c, line 508.
Child process pid=69615 terminated abnormally: Abort trap

This case of the assertion confirmed to be fixed for 1.3.6.

[stromnet]

The original problem was worked around as previously described, so I cannot test it in the exact same setup unfortunately.
If I try to reproduce it (with same pkg version as before), it seems I'm not able to:

# pkg delete -f libzmq4
Checking integrity... done (0 conflicting)
Deinstallation has been requested for the following 1 packages (of 0 packages in the universe):

Installed packages to be REMOVED:
        libzmq4-4.0.4_2

The operation will free 1 MB

Proceed with deinstalling packages [y/N]: y
[1/1] Deleting libzmq4-4.0.4_2: 100%

# pkg install libzmq3
Updating repository catalogue
back-1 repository is up-to-date
All repositories are up-to-date
Checking integrity... done (0 conflicting)
The following 1 packages will be affected (of 0 checked):

New packages to be INSTALLED:
        libzmq3: 3.2.4_1

The process will require 1 MB more space

Proceed with this action [y/N]: y
[1/1] Installing libzmq3-3.2.4_1: 100%


# pkg install py27-pyzmq
Updating repository catalogue
back-1 repository is up-to-date
All repositories are up-to-date
Checking integrity... done (1 conflicting)
Checking integrity... done (0 conflicting)
The following 2 packages will be affected (of 0 checked):

Installed packages to be REMOVED:
        libzmq3-3.2.4_1

New packages to be INSTALLED:
        libzmq4: 4.0.4_2

The process will require 299 kB more space

Proceed with this action [y/N]: y
[1/2] Deleting libzmq3-3.2.4_1: 100%
[2/2] Installing libzmq4-4.0.4_2: 100%
#

If you have any hints on how to reproduce it, I could try.
Anyhow, it seems you found at least some bug, lets hope that was the one :)