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

nicolas vigier boklm at mars-attacks.org
Tue Jan 15 12:45:02 CET 2013

Previous message: [Mageia-dev] Freeze push: coq-8.4pl1
Next message: [Mageia-dev] Unable to complete update rtkit package and system failure
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message: [Mageia-dev] Freeze push: coq-8.4pl1
Next message: [Mageia-dev] Unable to complete update rtkit package and system failure
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Mageia-dev mailing list