Sophie

Sophie

distrib > Mageia > cauldron > i586 > by-pkgid > 44a86d25b0b2628ff525866a2a768ee9

alt-ergo-gui-1.30-1.mga6.i586.rpm

Description:

A graphical front end for the alt-ergo theorem prover.

Sources packages:

Other version of this rpm: