Diffusion FreeBSD ports repository e836df42f75c

math/cryptominisat: Update to 5.11.4
e836df42f75c
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/cryptominisat: Update to 5.11.4

Details

Provenance

Authored on Oct 15 2022, 3:47 PM

Parents

R11:d66b2debb909: x11/xpra: Update to 4.4

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed R11:e836df42f75c: math/cryptominisat: Update to 5.11.4 (authored by arrowd).Oct 15 2022, 3:48 PM

Changes (5)

Path

Size

math/

cryptominisat/

py-cryptominisat/

files/

patch-setup.py.in

R11:e836df42f75c

math/cryptominisat/Makefile

Loading...

math/cryptominisat/distinfo

Loading...

math/cryptominisat/pkg-plist

Loading...

math/py-cryptominisat/files

Loading...

math/py-cryptominisat/files/patch-setup.py.in

Loading...