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

Tobias Nipkow nipkow at in.tum.de
Mon Oct 11 15:17:17 CEST 2021

Update: after I downloaded the 10 or so missing components via a browser and 
moved them to .isabelle/contrib, everything seems to be back to normal.


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"
> Since compiling Isabelle (Scala sources) fails, probably because of some missing 
> component, I am stuck.
> Any suggestions anybody?
> Tobias

-------------- 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/f064a280/attachment.bin>

More information about the isabelle-dev mailing list