File: changelog

package info (click to toggle)
minisat+ 1.0-4
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 600 kB
  • ctags: 1,322
  • sloc: cpp: 6,535; makefile: 74; sh: 23
file content (31 lines) | stat: -rw-r--r-- 920 bytes parent folder | download
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