Publishing details

Changelog

minisat+ (1.0-4) unstable; urgency=medium

  * debian/tests/control: add Depends: @ for test "upstream".

 -- Ralf Treinen <email address hidden>  Sun, 19 Feb 2017 17:03:19 +0100

Available diffs

Builds

Package files