Diffusion FreeBSD ports repository rP421212

py-cryptominisat to 5.0.0
rP421212
Actions

Description

Update math/cryptominisat and math/py-cryptominisat to 5.0.0

PR: 211460
Submitted by: maintainer
Reviewed by: koobs, feld (mentor)
Approved by: feld (mentor)

Details

Provenance

cpm	Authored on

Reviewer

koobs

Parents

rP421211: - Update to 0.9.5

Branches

Unknown

Tags

Unknown

Event Timeline

cpm committed rP421212: - Update math/cryptominisat and math/py-cryptominisat to 5.0.0.Sep 1 2016, 1:25 PM

Changes (10)

Path

Size

head/

math/

cryptominisat/

Makefile

distinfo

files

patch-src_dimacsparser.cpp

patch-src_dimacsparser.h

py-cryptominisat/

files/

rP421212

View Options

head/math/cryptominisat/Makefile

View Options

head/math/cryptominisat/distinfo

View Options

head/math/cryptominisat/files/

View Options

head/math/cryptominisat/files/patch-src_dimacsparser.cpp

View Options

head/math/cryptominisat/files/patch-src_dimacsparser.h

View Options

head/math/cryptominisat/pkg-descr

View Options

head/math/cryptominisat/pkg-plist

View Options

head/math/py-cryptominisat/Makefile

View Options

head/math/py-cryptominisat/distinfo

View Options

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

- Update math/cryptominisat and math/py-cryptominisat to 5.0.0rP421212Actions

Description

Details

Event Timeline

Changes (10)

rP421212

head/math/cryptominisat/Makefile

head/math/cryptominisat/distinfo

head/math/cryptominisat/files/

head/math/cryptominisat/files/patch-src_dimacsparser.cpp

head/math/cryptominisat/files/patch-src_dimacsparser.h

head/math/cryptominisat/pkg-descr

head/math/cryptominisat/pkg-plist

head/math/py-cryptominisat/Makefile

head/math/py-cryptominisat/distinfo

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

- Update math/cryptominisat and math/py-cryptominisat to 5.0.0
rP421212
Actions