Hi Michael,

I was working on getting a deb up on my ppa for 20.04 pretty much shortly after 20.04 came out. However, there is a known bug on a certain build tool that I finally got a potential work-around from one of the maintainers. I will give it another shot soon.