SSL certificate for opam expired

Ecosystem
1

Hi,

it looks like the certificate of the opam website & repository has expired today.

opam_certificate

2

… has been fixed. Certificate is valild again!