Sophie

Sophie

distrib > Mageia > 2 > i586 > by-pkgid > 5d864c59f6c8f8e778f1dc1d35d06523

coq-ide-8.3pl3-1.mga2.i586.rpm

Description:

The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant

Sources packages:

Other version of this rpm: