debian/1.5.2-1_exp1

Tobias Hansen

@thansen

915b7ee9 · Rename *.install files after packages have been renamed for SONAME bump. · Mar 25, 2018

linbox Debian release 1.5.2-1~exp1