Bug#662746: mingw32-ocaml: fails to upgrade from squeeze

2012-07-04 Thread Luk Claes
Hi Fixing this bug either means getting rid of the conflict in the binutils-mingw-w64 packages (and probably have replaces with breaks instead) or having mingw32-ocaml depend on mingw32 instead of mingw-w64 (through mingw-ocaml). Cheers Luk -- To UNSUBSCRIBE, email to

Bug#680248: coq: please update README.Debian

2012-07-04 Thread Nobuhiro Ban
Package: coq Version: 8.3.pl4+dfsg-2 Severity: minor Dear Maintainer, coq (8.3.pl4+dfsg-1) unstable; urgency=low (snip) * Replace proofgeneral-coq by proofgeneral in dependencies Package dependencies are replaced, but README.Debian still suggests proofgeneral-coq. Please update this file

Processing of liquidsoap_1.0.1+repack1-1_i386.changes

2012-07-04 Thread Debian FTP Masters
liquidsoap_1.0.1+repack1-1_i386.changes uploaded successfully to localhost along with the files: liquidsoap_1.0.1+repack1-1.dsc liquidsoap_1.0.1+repack1.orig.tar.bz2 liquidsoap_1.0.1+repack1-1.debian.tar.gz liguidsoap_1.0.1+repack1-1_all.deb liquidsoap_1.0.1+repack1-1_i386.deb

liquidsoap_1.0.1+repack1-1_i386.changes ACCEPTED into unstable

2012-07-04 Thread Debian FTP Masters
Accepted: liguidsoap_1.0.1+repack1-1_all.deb to main/l/liquidsoap/liguidsoap_1.0.1+repack1-1_all.deb liquidsoap-plugin-all_1.0.1+repack1-1_i386.deb to main/l/liquidsoap/liquidsoap-plugin-all_1.0.1+repack1-1_i386.deb liquidsoap-plugin-alsa_1.0.1+repack1-1_i386.deb to

Bug#662746: mingw32-ocaml: fails to upgrade from squeeze

2012-07-04 Thread Stephen Kitt
Hi, On Fri, Apr 06, 2012 at 12:09:14AM +0200, David Kalnischkies wrote: For mingw32-ocaml the reason is: binutils-mingw-w64-i686 Conflicts on mingw32-binutils The naming is again to confusing for me now to inspect it deeper now, but i guess the transition from mingw32 to mingw64 is messed up.

Bug#680255: Removed package(s) from unstable

2012-07-04 Thread Debian FTP Masters
We believe that the bug you reported is now fixed; the following package(s) have been removed from unstable: liq-contrib |11.07-1 | source, all --- Reason --- ROM; unmaintained; broken -- Note that the package(s)