debian/3.1.8-1

Tobias Hansen

@thansen

fa0a21f3 · debian/patches/doc_typo.patch: Remove generated file ui_mainwindow.h from patch · May 31, 2020

mpsolve Debian release 3.1.8-1