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/alt-ergo/pkg-plist

Number of commits found: 6

Saturday, 24 Feb 2024
18:21 Muhammad Moinur Rahman (bofh) search for other commits by this committer
math/alt-ergo: Moved man to share/man

Approved by:    portmgr (blanket)
commit hash: 1189805d578b011434ec604dd72b4058877b2e42 commit hash: 1189805d578b011434ec604dd72b4058877b2e42 commit hash: 1189805d578b011434ec604dd72b4058877b2e42 commit hash: 1189805d578b011434ec604dd72b4058877b2e42 1189805
Thursday, 29 Apr 2021
20:15 Dmitry Marakasov (amdmi3) search for other commits by this committer
math/alt-ergo: fix build
commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed 541ea6d
Thursday, 4 Feb 2021
10:01 bapt search for other commits by this committer
Remove the GUI option

The GUI is currently non functionnal on FreeBSD from my testing and depends
on deprecated gnome2 libraries
Original commitRevision:564009 
Thursday, 13 Nov 2014
23:24 antoine search for other commits by this committer
Cleanup plist
Original commitRevision:372546 
Monday, 2 Jun 2014
23:51 marino search for other commits by this committer
math/alt-ergo: Update version 0.94 => 0.95.2 and support stage
Original commitRevision:356261 
Wednesday, 21 Dec 2011
02:58 bf search for other commits by this committer
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.
Original commit

Number of commits found: 6