SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 
coq-ide rpm build for : Mandriva 2010.

This package is obsolete. Try find newer coq-ide


Name : coq-ide
Version : 8.2pl1 Vendor : Mandriva
Release : 2mdv2010.1 Date : 2010-02-18 12:30:26
Group : Sciences/Computer science Source RPM : coq-8.2pl1-2mdv2010.1.src.rpm
Size : 17.78 MB
Packager : Guillaume Rousse < guillomovitch_mandriva_org>

Download
ftp.gwdg.de  coq-ide-8.2pl1-2mdv2010.1.i586.rpm
ftp.gwdg.de  coq-ide-8.2pl1-2mdv2010.1.i586.rpm
ftp.icm.edu.pl  coq-ide-8.2pl1-2mdv2010.1.i586.rpm
ftp.isu.edu.tw  coq-ide-8.2pl1-2mdv2010.1.i586.rpm
     Search for other platforms
coq-ide-8.2pl1-2mdv2010.1.sparc.rpm
coq-ide-8.2pl1-2mdv2010.1.alpha.rpm
coq-ide-8.2pl1-2mdv2010.1.ppc.rpm
coq-ide-8.2pl1-2mdv2010.1.ia64.rpm
coq-ide-8.2pl1-2mdv2010.1.s390.rpm