[dev] Disco package?

[Mario Santana]

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