Subject: Ssreflect Users Discussion List
List archive
- From: Laurent Thery <>
- To:
- Subject: Re: [ssreflect] problem downloading coq-ssreflect-1.5.0
- Date: Wed, 15 Jan 2020 17:15:38 +0100
- Autocrypt: ; prefer-encrypt=mutual; keydata= mQENBE3a3V8BCADTeORKU7I7UmBBcs4VhSCq1IgKD8vdmdrGAlF3IJSFng7Fk8+MgS2gWYcS Ukf5t+rjNM3Z6brfYXc1naZlf2JPGHvAGiz8+TkXL+/ZA6+gAoIKy/iKyD+hCD8m92WH3rPH vCX6EJ44FEI7gUJ37GlTjvuP0I55vaFcwEg8nDgkALaCJvrSHtePuPKR1Q+9q2dgR7fTObal HYGMAsgT6k6n2ofe4Q6VFRLJhruU02qAfV5zgIoa3xgrTwSr4RRDILHttAw7EN6aLG6JycJ7 sPsPsiQzrd/tFsNbiHYeojJCkU2pDSQ3pBtXAJL/z2pMWTeTXvA60l9w0sDO7M3mkC3vABEB AAG0J0xhdXJlbnQgVGjDqXJ5IDxMYXVyZW50LlRoZXJ5QGlucmlhLmZyPokBOAQTAQIAIgUC TdrdXwIbAwYLCQgHAwIGFQgCCQoLBBYCAwECHgECF4AACgkQHHaWvRTi0tpIgggAnSUYcU2N uchXkGGwmPuLmvSUMiLkyFPs9GF2YF1ONOuJtpnQMcpsseCkcmIjESz0h5OpknpyraUXvbh0 ZdFqaLC2E+GyV8/YQi71wSsTPgWP450u0XUt0ysjwkKW6aIxIhSzrtgNp4E6w5KzXVJxA/yM V5RNFHg/5uifgfv4b7xaGHV8L93NbSvedk1O7yje5Hqgfab0t6J5Kf0M3sG+pB3gEkDVK9B7 +0fhe7/5u1Nj5HoLWid8UNZfFzJzb18Xe2ckzNye0KdDtQFac8qGUzhLbEYt3ScYjRYTq9/d V4Cin39j7Oo64Nk71iiLBISyuk0Q9D+Jq7nwwcQr/R8s1rkBDQRN2t1fAQgA7H6aX6BfdO/X Vlf4EGEoyFQ5u/JDe+giIHWSS34YWDWVUYyp320CrAYAkh9lQ1Nvh1tsmgiUh5xnY7wY0tOi wJSm94XlYAmHrddmWVNXRn09GvZJhfI2LdVBg3oxPfc8+bV+Hz83z/5BMPLOogxB22QMPJ6e iD2EsUMPNsuCVQ8WNo6ZmueuuYe7vEUXLYdRXNumJJgekEuG/q1BD4xgfzWpWfUODm6WygWZ oov50DomcDcAHW03bgnHlqnYu20Qg00GqgR3FKlORTvnOxD5TMCXe+eLUxkQfvnjbIPhtrnJ hgJMKVkRBEoaQ/XA4FdvxloInYPbqxNZ72yd09BbewARAQABiQEfBBgBAgAJBQJN2t1fAhsM AAoJEBx2lr0U4tLaWNQH/2/fIaF9ngbKPBJbDxYa7glJuCfamJgy3R8mJ//VYsS4RbdroSX3 29EgWlTx2reu1b4C5n5k7l4KpLgsRIc3bLUasGv15nf8BqmKIMulidzsxJv86S2imY/0870Q NOiO9SElHE7/2q4J1m2ew77SegiqGVWHl6Zs+4ROfOILTy24o26BQMAZhPX7jEs04Atv6yjw OUIPbzFO+XRuKqkBwHn9S8+GQelT0Gh84Dc5D2jIF0+kWY7uHqe2O+2LPfgO2CYhqmVfr/Ym mZv2xUyhJ7gui2hYaggncQ96cM2KhnKlgMw8nStY0GTqVXLEjPYblz8mqtF8aBPRSk/DjjrF QeI=
Hi,
The link seems ok. It works for me.
On 1/15/20 5:12 PM, Frédéric Blanqui wrote:
> 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.