Fix CI on recent Debian/Ubuntu
Now that we install the proper package on recent Debian/Ubuntu, check
for the good package in the catalog.
Description
Description
Details
Details
- Provenance
Romain Tartière <romain@blogreen.org> Authored on Feb 20 2020, 9:49 PM olasd Pushed on Apr 1 2020, 10:50 AM - Parents
- rSPNGXd0b2986bd080: Replace legacy facts with newer ones
- Branches
- Unknown
- Tags