1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
minisat+ (1.0-4) unstable; urgency=medium
* debian/tests/control: add Depends: @ for test "upstream".
-- Ralf Treinen <treinen@debian.org> Sun, 19 Feb 2017 17:03:19 +0100
minisat+ (1.0-3) unstable; urgency=medium
* debian/copyright: machine-readable format 1.0
* Standards-version 3.9.8 (no change)
* Debhelper compatibility level 10:
- bump debian/compat
- bump build-dependency on debhelper
* Vcs-{Git,Browser}: secure URI
* patch spelling: fix typo in help text
* add as-installed package test
-- Ralf Treinen <treinen@debian.org> Mon, 19 Dec 2016 08:06:16 +0100
minisat+ (1.0-2) unstable; urgency=low
* Patch exitcode: non-null exit code on parse error.
-- Ralf Treinen <treinen@debian.org> Tue, 24 May 2011 20:42:23 +0200
minisat+ (1.0-1) unstable; urgency=low
* Initial package (closes: Bug#626410)
-- Ralf Treinen <treinen@debian.org> Thu, 12 May 2011 22:13:24 +0200
|
