Diffusion FreeBSD ports repository rP552741

math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.
rP552741
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.

Enable M4RI functionality, thanks to thierry@ for adding the port.

Details

Provenance

Authored on

Parents

rP552740: Update to 4.5.5.

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed rP552741: math/cryptominisat and math/py-cryptominisat: Update to 5.8.0..Oct 19 2020, 2:59 PM

Changes (5)

Path

Size

head/

math/

cryptominisat/

py-cryptominisat/

rP552741

head/math/cryptominisat/Makefile

Loading...

head/math/cryptominisat/distinfo

Loading...

head/math/cryptominisat/pkg-plist

Loading...

head/math/py-cryptominisat/Makefile

Loading...

head/math/py-cryptominisat/distinfo

Loading...