The Coq mailing list

[Pierre Letouzey <Pierre.Letouzey AT pps.jussieu.fr>]

On Fri, Feb 16, 2007 at 12:01:36PM +0300, Michael Nedzelsky wrote:
> Hello,
> 
> I am behind the firewall which doesn't allow access to ftp sties.
> I have used http://www.web2ftp.com/ but now this service is deactivated.
> 
> Is it possible to download Coq distribution via http?
> 
> Regards,
> Michael Nedzelsky
> 

Well, if you're interested in the source package, an easy indirect
solution is to fetch the file from a debian server:

http://ftp.debian.org/debian/pool/main/c/coq/coq_8.1+dfsg.orig.tar.gz

(Found from packages.debian.org by looking for package coq)

Of course this does not help if you're looking for the .exe or other
files in the distribution. For these, you will have to wait for the
coq site admin (or anybody else) to set up an http mirror of 
ftp.inria.fr/INRIA/coq

Best regards, 

Pierre Letouzey