Diffusion FreeBSD ports repository d3f4816d560e

math/cryptominisat: Update to 5.11.21
d3f4816d560e
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/cryptominisat: Update to 5.11.21

Reported by: portscout!

Details

Provenance

Authored on Feb 11 2024, 9:54 AM

Parents

R11:302ea998d827: misc/hwdata: Update to 0.379

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed R11:d3f4816d560e: math/cryptominisat: Update to 5.11.21 (authored by arrowd).Feb 11 2024, 10:07 AM

Changes (3)

Path

Size

math/

cryptominisat/

R11:d3f4816d560e

math/cryptominisat/Makefile

Loading...

math/cryptominisat/distinfo

Loading...

math/cryptominisat/pkg-plist

Loading...