20:15 Dmitry Marakasov (amdmi3) 

math/alt-ergo: fix build

    541ea6d

10:01 bapt 

Remove the GUI option

The GUI is currently non functionnal on FreeBSD from my testing and depends
on deprecated gnome2 libraries

 

23:24 antoine 

Cleanup plist

 

23:51 marino 

math/alt-ergo: Update version 0.94 => 0.95.2 and support stage

 

02:58 bf 

Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.