Sophie

Sophie

distrib > Mandriva > 2007.0 > x86_64 > by-pkgid > e48a2454ff2504be2b8989908a79c050

coq-ide-8.0pl3-4mdk.x86_64.rpm

Description:

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

Other version of this rpm: