notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

non port: math/cryptominisat/distinfo

Number of commits found: 13

Sunday, 11 Feb 2024
10:07 Gleb Popov (arrowd) search for other commits by this committer
math/cryptominisat: Update to 5.11.21

Reported by:	portscout!
commit hash: d3f4816d560e4632b7a53c585659b8df2f912145 commit hash: d3f4816d560e4632b7a53c585659b8df2f912145 commit hash: d3f4816d560e4632b7a53c585659b8df2f912145 commit hash: d3f4816d560e4632b7a53c585659b8df2f912145 d3f4816
Friday, 29 Dec 2023
20:27 Gleb Popov (arrowd) search for other commits by this committer
math/cryptominisat: Update to 5.11.15

Reported by:	repology
commit hash: 7e177f3a6970b3ec7a492220556bf39379321ebe commit hash: 7e177f3a6970b3ec7a492220556bf39379321ebe commit hash: 7e177f3a6970b3ec7a492220556bf39379321ebe commit hash: 7e177f3a6970b3ec7a492220556bf39379321ebe 7e177f3
Saturday, 1 Jul 2023
13:37 Gleb Popov (arrowd) search for other commits by this committer
math/cryptominisat: Update to 5.11.11

Reported by:	portscout!
commit hash: eade3b3c0ec580098d31558eb86b07888805d492 commit hash: eade3b3c0ec580098d31558eb86b07888805d492 commit hash: eade3b3c0ec580098d31558eb86b07888805d492 commit hash: eade3b3c0ec580098d31558eb86b07888805d492 eade3b3
Saturday, 15 Oct 2022
15:48 Gleb Popov (arrowd) search for other commits by this committer
math/cryptominisat: Update to 5.11.4
commit hash: e836df42f75cbdb4798b63c8ccbaa19960a883f3 commit hash: e836df42f75cbdb4798b63c8ccbaa19960a883f3 commit hash: e836df42f75cbdb4798b63c8ccbaa19960a883f3 commit hash: e836df42f75cbdb4798b63c8ccbaa19960a883f3 e836df4
Monday, 19 Oct 2020
14:59 arrowd search for other commits by this committer
math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.

Enable M4RI functionality, thanks to thierry@ for adding the port.
Original commitRevision:552741 
Thursday, 9 Jul 2020
15:44 arrowd search for other commits by this committer
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1

Bump PORTREVISIONs of consumer ports.
Original commitRevision:541757 
Saturday, 23 Feb 2019
16:31 arrowd search for other commits by this committer
math/cryptominisat and math/py-cryptominisat to 5.6.8.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19302
Original commitRevision:493704 
Friday, 10 Aug 2018
09:24 arrowd search for other commits by this committer
math/cryptominisat: Update to 5.6.3.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16645
Original commitRevision:476818 
Sunday, 17 Jun 2018
20:36 arrowd search for other commits by this committer
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
Original commitRevision:472633 
Friday, 11 Nov 2016
19:43 amdmi3 search for other commits by this committer
- Update to 5.0.1

PR:		212601
Submitted by:	6yearold@gmail.com (maintainer)
Original commitRevision:425907 
Thursday, 1 Sep 2016
13:25 cpm search for other commits by this committer
- 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)
Original commitRevision:421212 
Wednesday, 6 Jan 2016
14:07 koobs search for other commits by this committer
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 [*]
Original commitRevision:405351 
Tuesday, 5 May 2015
21:54 jbeich search for other commits by this committer
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)
Original commitRevision:385495 

Number of commits found: 13