debian/1.5.2-2

Tobias Hansen

@thansen

5f03f8bf · Update doc-base file after documentation location changed due to compat 11. · Aug 11, 2018

linbox Debian release 1.5.2-2