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/eprover/distinfo

Number of commits found: 2

Sunday, 23 Jul 2023
02:23 Yuri Victorovich (yuri) search for other commits by this committer
math/eprover: Update 2.0 → 2.6
commit hash: b35d6c05018a3d671e96820a7c51458cc9668ef5 commit hash: b35d6c05018a3d671e96820a7c51458cc9668ef5 commit hash: b35d6c05018a3d671e96820a7c51458cc9668ef5 commit hash: b35d6c05018a3d671e96820a7c51458cc9668ef5 b35d6c0
Sunday, 19 Nov 2017
21:59 yuri search for other commits by this committer
New port: math/eprover : Theorem prover for full first-order logic with equality

PR:		211903
Submitted by:	Greg V <greg@unrelenting.technology>
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D13150
Original commitRevision:454506 

Number of commits found: 2