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

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-27 Thread Stéphane Glondu
Package: coinst Version: 1.9.1-1 Severity: wishlist Hi, comigrate uses ftp.debian.org, which is not optimal in some parts of the world. Please use http.debian.net or, better, allow changing it in configuration. Cheers, -- Stéphane -- System Information: Debian Release: jessie/sid APT