divine-ltsmin-deb

divine-ltsmin-deb

Debian package to distribute the divine binary patched for LTSmin.