Sophie

Sophie

distrib > Mageia > 5 > x86_64 > by-pkgid > 10c85d5a2c7ae2ea2ab7ead1aecc03a0

alt-ergo-gui-0.95.2-4.mga5.x86_64.rpm

Description:

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

Sources packages:

Other version of this rpm: