10:07 Gleb Popov (arrowd) 

math/py-cryptominisat: Update to 5.11.21

    bfae4d8

13:37 Gleb Popov (arrowd) 

math/py-cryptominisat: Update to 5.11.11

Reported by:	portscout!

    144ca64

15:48 Gleb Popov (arrowd) 

math/py-cryptominisat: Update to 5.11.4

    1367157

14:59 arrowd 

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

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

 

15:44 arrowd 

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

Bump PORTREVISIONs of consumer ports.

 

16:31 arrowd 

math/cryptominisat and math/py-cryptominisat to 5.6.8.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19302

 

09:24 arrowd 

math/cryptominisat: Update to 5.6.3.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16645

 

20:36 arrowd 

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

Reviewed by:	mat
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D15735

 

13:25 cpm 

- 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)

 

14:07 koobs 

math/{py-}cryptominisat: Update to 4.5.3

Common:

- Update PORTVERSION and distinfo checksum (4.5.3) [1]
- Switch to GITHUB for DISTFILES, remove USES=tar accordingly [1]

py-cryptominisat:

- Convert into fully fledged port
- Add distinfo and proper (unique) pkg-descr
- Remove MASTER port overrides accordingly
- Match COMMENT to upstream setup.py:description
- De-scope USES=compiler to compiler only
- Remove upstreamed patches

(Only the first 15 lines of the commit message are shown above )