notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
FreshPorts needs to find a new hosting provide willing to take a 2U chassis and host it free of charge. This is part of the FreshPorts project. Preferably in the Austin area. This is not a primary server, but it used for development.
non port: math/alt-ergo/pkg-plist
SVNWeb

Number of commits found: 5

Thu, 29 Apr 2021
[ 20:15 Dmitry Marakasov (amdmi3) search for other commits by this committer ]    commit hash:541ea6df4e37d136287cfad02508149c4c8010ed  541ea6d 
math/alt-ergo: fix build
Thu, 4 Feb 2021
[ 10:01 bapt search for other commits by this committer ] Original commit   Revision:564009
Remove the GUI option

The GUI is currently non functionnal on FreeBSD from my testing and depends
on deprecated gnome2 libraries
Thu, 13 Nov 2014
[ 23:24 antoine search for other commits by this committer ] Original commit   Revision:372546 (Only the first 10 of 55 ports in this commit are shown above. View all ports for this commit)
Cleanup plist
Mon, 2 Jun 2014
[ 23:51 marino search for other commits by this committer ] Original commit   Revision:356261
math/alt-ergo: Update version 0.94 => 0.95.2 and support stage
Wed, 21 Dec 2011
[ 02:58 bf search for other commits by this committer ] Original commit 
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.

Number of commits found: 5