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

Tobias Nipkow nipkow at in.tum.de
Mon Oct 11 16:06:14 CEST 2021


Mojave 10.14.6

Tobias

On 11/10/2021 15:55, Makarius wrote:
> 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
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20211011/ea890be8/attachment-0001.bin>


More information about the isabelle-dev mailing list