On Tue, Feb 23, 2016 at 06:34:42PM +0100, Matthias Klose wrote:
> Package: src:why
> Version: 2.24-3
> Severity: serious
>
> Tags: sid
>
> [Mehdi asked me to file RC issues ... I saw these while working on some
> transitions in Ubuntu, and trying to keep creduce in unstable/testing]
>
> why does
Processing commands for cont...@bugs.debian.org:
> block 815684 with 813596
Bug #815684 [src:why] why can't be built from source
815684 was not blocked by any bugs.
815684 was not blocking any bugs.
Added blocking bug(s) of 815684: 813596
> thanks
Stopping processing here.
Please contact me if yo
Processing commands for cont...@bugs.debian.org:
> tags 815684 + confirmed
Bug #815684 [src:why] why can't be built from source
Added tag(s) confirmed.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
815684: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815684
Package: src:why
Version: 2.24-3
Severity: serious
Tags: sid
[Mehdi asked me to file RC issues ... I saw these while working on some
transitions in Ubuntu, and trying to keep creduce in unstable/testing]
why doesn't work with the coq in unstable, and coq-float doesn't work with the
coq in un
tags 815577 + pending
thanks
Le 22/02/2016 18:12, Thomas Leonard a écrit :
> I've had some reports of 0install hanging on Debian/Ubuntu. I suspect this is
> due to the very old version of ocurl found there:
>
> https://github.com/0install/0install/issues/54#issuecomment-186845945
Thank you, I
Processing commands for cont...@bugs.debian.org:
> tags 815577 + pending
Bug #815577 [libcurl-ocaml] libcurl-ocaml: ocurl package is very out of date
and lacks Lwt support
Added tag(s) pending.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
815577: http://bugs.d
6 matches
Mail list logo