From a.tsialos at gmail.com Thu May 28 15:08:10 2015 From: a.tsialos at gmail.com (Aristeidis Tsialos) Date: Thu, 28 May 2015 14:08:10 +0100 Subject: [Hets-devel] [Bug] isabelle-installer package outdated in the hets ppa Message-ID: Hi, I just tried installing hets on ubuntu using > sudo apt-get install hets > and I encountered an issue with the Isabelle-installer package. Upon closer inspection it seems that the installer gets a 404 error when trying to obtain the isabelle2014 tarball because it has been updated to isabelle2015 on their main site and the address to isabelle2014 is no longer valid. I thought you should now so you can either update it or point to a legacy version of Isabelle2014 in the repository. Sincerely, Aris Tsialos -------------- next part -------------- An HTML attachment was scrubbed... URL: From c.maeder at jacobs-university.de Thu May 28 15:53:38 2015 From: c.maeder at jacobs-university.de (Christian Maeder) Date: Thu, 28 May 2015 15:53:38 +0200 Subject: [Hets-devel] [Bug] isabelle-installer package outdated in the hets ppa In-Reply-To: References: Message-ID: <55671DE2.6040504@jacobs-university.de> Dear Aris Tsialos, thank you for your hint! I've updated the installer and tested it on Trusty (Ubuntu 14.04). It downloads from http://isabelle.in.tum.de/website-Isabelle2014/dist/ now. Cheers Christian On 28.05.2015 15:08, Aristeidis Tsialos wrote: > Hi, > > I just tried installing hets on ubuntu using > > sudo apt-get install hets > > and I encountered an issue with the Isabelle-installer package. Upon > closer inspection it seems that the installer gets a 404 error when > trying to obtain the isabelle2014 tarball because it has been updated to > isabelle2015 on their main site and the address to isabelle2014 is no > longer valid. I thought you should now so you can either update it or > point to a legacy version of Isabelle2014 in the repository. > > Sincerely, > Aris Tsialos > > > _______________________________________________ > Hets-devel mailing list > Hets-devel at informatik.uni-bremen.de > https://mailman.informatik.uni-bremen.de/mailman/listinfo/hets-devel >