Sophie

Sophie

distrib > Mageia > 6 > armv5tl > by-pkgid > 3b105890ffe2c84efcfb4655837bec8d

coq-ide-8.5pl2-2.mga6.armv5tl.rpm

Description:

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

Sources packages:

Other version of this rpm: