Bill Allombert on Thu, 22 Mar 2018 23:20:38 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: pari host downtime

On Wed, Mar 21, 2018 at 12:11:22PM +0100, Bill Allombert wrote:
> Dear PARI developers,
> Due to an hard disk issue the pari host is down until further
> notice.

I have restarted it, however it is not very reliable currently.
Use with care.  We have ordered another one.

If need be, I will set up a mirror.