This will install the RPM using the standard Mageia repositories configured on your system.


Prerequisites:



Install coq-ide-8.7.1-1.mga7.i586.rpm


It doesn't work? Click here to check a few things.