Control: tag -1 upstream
On Sat, Jul 23, 2016 at 08:35:15PM +0200, Ralf Treinen wrote:
>
> Why also does not compile with the current vesion of why3. I talked
> to why upstream about this a few days ago. There will be a new upstream
> release of why soon which will fix this. I suspect this will
Hello,
On Sat, Jul 23, 2016 at 01:32:57PM -0400, Nicolas Braud-Santoni wrote:
> coq-float and why cannot build under Coq 8.5, leading to two FTBFS bugs.
> (Note: This is about why, not why3)
>
> I confirmed that (beyond some mild build-system breakage) the issues
> are due to changes in Coq,
Hi,
coq-float and why cannot build under Coq 8.5, leading to two FTBFS bugs.
(Note: This is about why, not why3)
I confirmed that (beyond some mild build-system breakage) the issues
are due to changes in Coq, and neither are still maintained upstream.
As such, I would like to suggest we delete
3 matches
Mail list logo
