Hi Peter,
Thank you for the note. You were right, the certificate was expired. It has
now been renewed. Sorry for the trouble.
I am supposed to receive automated email notices when expiration is coming
up. I will now investigate why that did not seem to happen.
Cheers,
Ramana
On 28 June 2016 at 23:51, Peter Vincent Homeier <
palan...@trustworthytools.com> wrote:
> Dear Michael and Ramana,
>
> You may want to renew the certificate for the hol-theorem-prover.org
> website. The certificate that it is presenting, from Let's Encrypt
> Authority X3, is currently expired.
>
> Cheers,
> Peter
>
> --
>
>
> "In Your majesty ride prosperously
> because of truth, humility, and righteousness;
> and Your right hand shall teach You awesome things." (Psalm 45:4)
>
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
