Sourceforge has been having a major outage since Thu (storage infrastructure
failure).
They are expecting to be fully back up by mid week.
We’re looking into alternative hosting..
Cheers,
Gerwin
> On 20.07.2015, at 18:35, Christian Sternagel wrote:
>
> Dear all,
>
> http://afp.sourceforge.net
David Cock wrote:
> Apparently they had a storage system issue, and obviously didn't have a
> tested recovery plan.
There's some more information here:
http://sourceforge.net/blog/sourceforge-infrastructure-and-service-restoration/
In short, they are working on it, and interestingly, they are ho
As of Isabelle/3444e0bf9261 we are on jdk-8u51, which is the latest
"Critical Patch Update" by Oracle.
Oracle has had sufficient time to consolidate Java 8 for general use, so
we are presumably leaving Java 7 behind and not going back again (there
are no public updates of it anymore).
Apparently they had a storage system issue, and obviously didn't have a
tested recovery plan. At this point, the sooner everybody moves off of
Sourceforge, the better.
David
On 20/07/15 11:26, Makarius wrote:
On Mon, 20 Jul 2015, Christian Sternagel wrote:
http://afp.sourceforge.net/ seems
On Mon, 20 Jul 2015, Christian Sternagel wrote:
http://afp.sourceforge.net/ seems to be down. Just out of curiosity:
Does anyone know for how long and why?
Because Sourceforge sucks?
We know that already for many years, and are still dependent on it.
Problems can be solved early, when they b
All of sourceforge has been down for about a week at this point. It
seems as though the proverbial has hit the fan.
David
On 20/07/15 10:35, Christian Sternagel wrote:
Dear all,
http://afp.sourceforge.net/ seems to be down. Just out of curiosity:
Does anyone know for how long and why?
-ch
Dear all,
http://afp.sourceforge.net/ seems to be down. Just out of curiosity:
Does anyone know for how long and why?
-cheers
chris
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/i
