Subject: Ssreflect Users Discussion List
List archive
- From: Frédéric Blanqui <>
- To:
- Subject: [ssreflect] problem downloading coq-ssreflect-1.5.0
- Date: Wed, 15 Jan 2020 17:12:22 +0100
Hello. I cannot download https://github.com/math-comp/math-comp/releases/download/archive/ssreflect-1.5.tar.gz (URL for coq-ssreflect-1.5 in opam):
19:34 /tmp/opam-coq wget https://github.com/math-comp/math-comp/releases/download/archive/ssreflect-1.5.tar.gz
--2020-01-14 19:34:46-- https://github.com/math-comp/math-comp/releases/download/archive/ssreflect-1.5.tar.gz
Résolution de github.com (github.com)… 140.82.118.4
Connexion à github.com (github.com)|140.82.118.4|:443… connecté.
requête HTTP transmise, en attente de la réponse… 302 Found
Emplacement : https://codeload.github.com/math-comp/math-comp/releases/download/tar.gz/ssreflect-1.5 [suivant]
--2020-01-14 19:34:46-- https://codeload.github.com/math-comp/math-comp/releases/download/tar.gz/ssreflect-1.5
Résolution de codeload.github.com (codeload.github.com)… 140.82.114.9
Connexion à codeload.github.com (codeload.github.com)|140.82.114.9|:443… connecté.
requête HTTP transmise, en attente de la réponse… 400 Bad Request
2020-01-14 19:34:46 erreur 400 : Bad Request.
- [ssreflect] problem downloading coq-ssreflect-1.5.0, Frédéric Blanqui, 01/15/2020
- Re: [ssreflect] problem downloading coq-ssreflect-1.5.0, Laurent Thery, 01/15/2020
Archive powered by MHonArc 2.6.18.