Processed: block 736761 with 736062

2014-01-28 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > block 736761 with 736062 Bug #736761 [coq] coq and Emacs 2x 736761 was not blocked by any bugs. 736761 was not blocking any bugs. Added blocking bug(s) of 736761: 736062 > thanks Stopping processing here. Please contact me if you need assistance.

Re: Bug#736910: comigrate: lease allow the use of a different mirror

2014-01-28 Thread Stéphane Glondu
Le 28/01/2014 09:45, Ralf Treinen a écrit : >> Package: coinst > >> comigrate uses ftp.debian.org, which is not optimal in some parts of > > Do you mean comigrate or coinst ? -Ralf. comigrate --update -- Stéphane -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a

Bug#736910: comigrate: lease allow the use of a different mirror

2014-01-28 Thread Ralf Treinen
Bonjour Stéphane, On Tue, Jan 28, 2014 at 08:50:32AM +0100, Stéphane Glondu wrote: > Package: coinst > comigrate uses ftp.debian.org, which is not optimal in some parts of Do you mean comigrate or coinst ? -Ralf. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a s