Bug#815684: why can't be built from source

2016-02-23 Thread Ralf Treinen
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

Processed: block 815684 with 813596

2016-02-23 Thread Debian Bug Tracking System
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

Processed: tagging 815684

2016-02-23 Thread Debian Bug Tracking System
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

Bug#815684: why can't be built from source

2016-02-23 Thread Matthias Klose
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

Bug#815577: libcurl-ocaml: ocurl package is very out of date and lacks Lwt support

2016-02-23 Thread Stéphane Glondu
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

Processed: Re: Bug#815577: libcurl-ocaml: ocurl package is very out of date and lacks Lwt support

2016-02-23 Thread Debian Bug Tracking System
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