Re: [Mageia-dev] Freeze push: coq-8.4pl1

[nicolas vigier]

On Mon, 14 Jan 2013, Pierre-Malo Deniélou wrote:

> This is a bug fix and performance fix release. Nothing depends on coq in 
> mageia.

Submitted.