opam install complains that it is not able to obtain why3-base.0.88.3.
opam install --debug shows that it is executing the following command:
/usr/bin/curl --write-out %{http_code}\n --retry 3 --retry-delay 2
--user-agent opam/2.0.0~rc -L -o
/home/jll/.opam/default/.opam-switch/sources/why3-base.0.88.3/why3-0.88.3.tar.gz.part
https://gforge.inria.fr/frs/download.php/file/37313/why3-0.88.3.tar.gz
This command fails with:
curl: (60) server certificate verification failed. CAfile:
/etc/ssl/certs/ca-certificates.crt CRLfile: none
More details here: http://curl.haxx.se/docs/sslcerts.html
curl performs SSL certificate verification by default, using a "bundle"
of Certificate Authority (CA) public keys (CA certs). If the default
bundle file isn't adequate, you can specify an alternate file
using the --cacert option.
If this HTTPS server uses a certificate signed by a CA represented in
the bundle, the certificate verification probably failed due to a
problem with the certificate (it might be expired, or the name might
not match the domain name in the URL).
If you'd like to turn off curl's verification of the certificate, use
the -k (or --insecure) option.
-----------------
If I run the same curl command with the argument -k, for an insecure
download, it succeeds. But I don't know how to give the -k option to
opam. And if I download it by running the command manually, opam will
delete it if I retry the opam install.
I am able to install other software with opam, so the problem seems to be
particular to why3.
thanks,
julia
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
