search

coq / coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
https://coq.inria.fr/
GNU Lesser General Public License v2.1
4.65k stars 630 forks source link

impossible de recuperer coq-7.0beta2.tar.gz #1156

Closed coqbot closed 23 years ago

coqbot commented 23 years ago

Note: the issue was created automatically with bugzilla2github tool

Original bug ID: BZ#2 From: marchise@irit.fr Reported version: 8.1

coqbot commented 23 years ago

Full_Name: Brigitte Marchiset Version: OS: sunOS 5.6, 7, 8 Submission from: irit1.irit.fr (141.115.4.2)

Bonjour,

lorsque j'essaie de recuperer cette version de coq via l'interface Web, j'ai l'erreur suivante :

ERROR

The requested URL could not be retrieved

The following URL could not be retrieved: ftp://ftp.inria.fr/INRIA/coq/V7.0/coq-7.0beta2.tar.gz

Squid sent the following FTP command: 

 CWD coq

and then received this reply 

 coq: No such file or directory.

This might be caused by an FTP URL with an absolute path (which does not comply with RFC 1738). If this is the cause, then the file can be found at ftp://ftp.inria.fr/%2f/INRIA/coq/V7.0/coq-7.0beta2.tar.gz.

Merci

coqbot commented 23 years ago

Benjamin Werner <werner@ pauillac.inria.fr>

  Bonjour,

Oui, c'est du a une panne disque du serveur ftp.inria.fr

Nouus allons mettre un avertissement sur la page web. Si jamais cette situation se prolonge, nous trouverons une methode de remplacement.

Nous sommmes desole de ce contre-temps.

Bien cordialement,

Benjamin Werner

Projet LogiCal INRIA-Rocquencourt, BP 105, F-78 153 LE CHESNAY cedex, FRANCE E-mail: Benjamin.Werner@ inria.fr Phone: +33 (1) 39 63 52 31 Mobile: +33 (6) 63 53 43 44 Fax: +33 (1) 39 63 56 84 http://logical.inria.fr/~werner/

coqbot commented 23 years ago

Benjamin Werner <werner@ pauillac.inria.fr>

A priori c'est repare. Prevenez-nous en cas de probleme recurrent.

Bien cordialement,

Benjamin Werner

Projet LogiCal INRIA-Rocquencourt, BP 105, F-78 153 LE CHESNAY cedex, FRANCE E-mail: Benjamin.Werner@ inria.fr Phone: +33 (1) 39 63 52 31 Mobile: +33 (6) 63 53 43 44 Fax: +33 (1) 39 63 56 84 http://logical.inria.fr/~werner/

coqbot commented 16 years ago

Temporary breakdown of ftp server