Subject: Ssreflect Users Discussion List
List archive
- From: Stéphane Glondu <>
- To: "" <>
- Cc: Coqdev <>
- Subject: Ssreflect with Coq 8.3
- Date: Tue, 22 Feb 2011 11:38:30 +0100
Hello,
Currently, we are in the strange situation where ssreflect in the contribs has been kept synchronized with upstream development repository, and works with 8.3, and the latest release of ssreflect doesn't work with 8.3.
Coq 8.3 has been released more than 3 months ago, and with a working ssreflect contrib. Still, no new release of ssreflect working with Coq 8.3 has been done. This is very disappointing for me, because I maintain contribs (in general, not only ssreflect) in a working state, but this work cannot be used in a production environment with the current ssreflect/contrib interaction.
The current situation is unacceptable. I think only the latest release should be in the contribs. Ssreflect developpers should stop updating automatically the contribs repository the way they do. They should make releases more often if they want their code to be ported by Coq developers.
Cheers,
--
Stéphane
- Ssreflect with Coq 8.3, Stéphane Glondu, 02/22/2011
- RE: [coqdev] Ssreflect with Coq 8.3, Georges Gonthier, 02/22/2011
- Re: [coqdev] Ssreflect with Coq 8.3, Stéphane Glondu, 02/22/2011
- RE: [coqdev] Ssreflect with Coq 8.3, Georges Gonthier, 02/22/2011
Archive powered by MHonArc 2.6.18.