[isabelle-dev] Missing Isabelle components: Failed to download

Makarius makarius at sketis.net
Mon Oct 11 15:55:55 CEST 2021


On 11/10/2021 13:20, Tobias Nipkow wrote:
> I just updated to 9c04a82c3128 and "isabelle components" tells me that there
> are many missing components, but dowloading fails for the first one:
> 
> Getting "https://isabelle.sketis.net/components/e-2.6-1.tar.gz"
> Failed to download "https://isabelle.sketis.net/components/e-2.6-1.tar.gz"

Can you say what your version of macOS is?

I've recently seen problems with HTTPS certificates for old versions, but did
not manage to isolate the problem yet.

Big Sur was fine, as well as various Linux and Windows installations.


	Makarius



More information about the isabelle-dev mailing list