Diffusion FreeBSD ports repository rP541757

math/cryptominisat and math/py-cryptominisat: Update to 5.7.1
rP541757
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/cryptominisat and math/py-cryptominisat: Update to 5.7.1

Bump PORTREVISIONs of consumer ports.

Details

Provenance

Authored on

Parents

rP541756: audio/darkice: Update to 1.4

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed rP541757: math/cryptominisat and math/py-cryptominisat: Update to 5.7.1.Jul 9 2020, 3:44 PM

Changes (8)

Path

Size

head/

math/

cryptominisat/

cvc4/

py-cryptominisat/

stp/

security/

klee/

rP541757

head/math/cryptominisat/Makefile

Loading...

head/math/cryptominisat/distinfo

Loading...

head/math/cryptominisat/pkg-plist

Loading...

head/math/cvc4/Makefile

Loading...

head/math/py-cryptominisat/Makefile

Loading...

head/math/py-cryptominisat/distinfo

Loading...

head/math/stp/Makefile

Loading...

head/security/klee/Makefile

Loading...