c2d4u3.5 ppa for Ubuntu 20.04?

Hi Michael and Dirk!

Thanks to both of you for the answer (and sorry if I missed that in the
instructions)! Thanks Michael for all the good work for that ppa!!

Matthieu