Re: [dev] Disco package?

Hi, David, thanks for the response! On 8/3/19 9:17 AM, David Lamparter wrote:

You should be able to install the Debian 10 package on Ubuntu 19.04.

I actually tried this before - the package seems to require libreadline7, while the default repos for disco only have libreadline5 and libreadline8. It's no emergency for me, I've built frr from source using libreadline8-dev, and it seems to be running fine in the lab, but just FYI. Cheers! Mario