Ssreflect Users Discussion List

[Frederic Chyzak <>]

Hi,

Can ssreflect for 8.5beta1 be obtained from opam?

My session below suggests that some url points to a nonexisting file.
(Was the "/tmp/" really wanted?)

Frédéric



[chyzak@slowfox ~]$ opam repo list
  30 [git]         pide     http://bitbucket.org/coqpide/opam.git
  20 [git]      coq-8.5     https://github.com/coq/repo-8.5.git
   0 [http]     default     https://opam.ocaml.org
[chyzak@slowfox ~]$ opam search ssr
# Existing packages for 4.02.0:
coq:ssreflect  --  The Small Scale Reflection extension.
[chyzak@slowfox ~]$ opam show coq:ssreflect
             package: coq:ssreflect
             version: 1.5.0.coq85beta1
          repository: coq-8.5
        upstream-url:
http://ssr.msr-inria.inria.fr/tmp/ssreflect-1.5.coq85beta1.tar.gz
       upstream-kind: http
   upstream-checksum: c682c90a94d2abe2ec6339f0515594ec
            homepage: http://ssr.msr-inria.inria.fr/
             license: CeCILL-B
             depends: coq >= 8.5beta1
   installed-version: 
   available-version: 1.5.0.coq85beta1
         description: The Small Scale Reflection extension.

[chyzak@slowfox ~]$ opam install coq:ssreflect
The following actions will be performed:
 - install   coq:ssreflect.1.5.0.coq85beta1
=== 1 to install ===

=-=- Synchronizing package archives
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[coq:ssreflect.1.5.0.coq85beta1] Downloading
http://ssr.msr-inria.inria.fr/tmp/ssreflect-1.5.coq85beta1.tar.gz
[ERROR] curl: code 404 while downloading
http://ssr.msr-inria.inria.fr/tmp/ssreflect-1.5.coq85beta1.tar.gz
[ERROR]
http://ssr.msr-inria.inria.fr/tmp/ssreflect-1.5.coq85beta1.tar.gz is not
available
[ERROR] Could not download archives of coq:ssreflect.1.5.0.coq85beta1