non port: math/cryptominisat/distinfo |
Number of commits found: 13 |
Sunday, 11 Feb 2024
|
10:07 Gleb Popov (arrowd)
math/cryptominisat: Update to 5.11.21
Reported by: portscout!
d3f4816 |
Friday, 29 Dec 2023
|
20:27 Gleb Popov (arrowd)
math/cryptominisat: Update to 5.11.15
Reported by: repology
7e177f3 |
Saturday, 1 Jul 2023
|
13:37 Gleb Popov (arrowd)
math/cryptominisat: Update to 5.11.11
Reported by: portscout!
eade3b3 |
Saturday, 15 Oct 2022
|
15:48 Gleb Popov (arrowd)
math/cryptominisat: Update to 5.11.4
e836df4 |
Monday, 19 Oct 2020
|
14:59 arrowd
math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.
Enable M4RI functionality, thanks to thierry@ for adding the port.
|
Thursday, 9 Jul 2020
|
15:44 arrowd
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1
Bump PORTREVISIONs of consumer ports.
|
Saturday, 23 Feb 2019
|
16:31 arrowd
math/cryptominisat and math/py-cryptominisat to 5.6.8.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19302
|
Friday, 10 Aug 2018
|
09:24 arrowd
math/cryptominisat: Update to 5.6.3.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16645
|
Sunday, 17 Jun 2018
|
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
|
Friday, 11 Nov 2016
|
19:43 amdmi3
- Update to 5.0.1
PR: 212601
Submitted by: 6yearold@gmail.com (maintainer)
|
Thursday, 1 Sep 2016
|
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)
|
Wednesday, 6 Jan 2016
|
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
- Patch to properly use distutils and autoplist instead
of an uncessary cmake build (Also add post-patch for this)
- Strip shared library
cryptominisat:
- Remove slave port overrides
- Add BUILD_DEPENDS on vim-lite for xxd(8) tool [1]
- Remove upstreamed patches [1]
- Add patches for missing includes breaking builds on 9.3 [1]
- Update pkg-plist [1]
[1] https://github.com/msoos/cryptominisat/issues/304
PR: 204850 [1]
Submitted by: maintainer [1]
Approved by: maintainer [*]
|
Tuesday, 5 May 2015
|
21:54 jbeich
math/cryptominisat, math/py-cryptominisat: add new ports
CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT
solver, featuring over 100 configurable parameters to tune to specific
need, collection of statistical data to MySQL database + javascript-based
visualization of it and clean C++ and python interfaces.
WWW: http://www.msoos.org/cryptominisat4/
PR: 199929
Submitted by: 6yearold@gmail.com (based on)
|
Number of commits found: 13 |