File: changelog

package info (click to toggle)
sat4j 2.3.5-0.3
  • links: PTS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 90,260 kB
  • sloc: java: 50,309; xml: 1,491; lisp: 95; makefile: 36; sh: 35
file content (183 lines) | stat: -rw-r--r-- 5,881 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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
sat4j (2.3.5-0.3) unstable; urgency=medium

  * Non-maintainer upload.
  * Add encoding.patch and fix FTBFS with Java 9. (Closes: #893411)

 -- Markus Koschany <apo@debian.org>  Fri, 13 Apr 2018 18:54:47 +0200

sat4j (2.3.5-0.2) unstable; urgency=medium

  * Non-maintainer upload.
  * Re-enabled javahelper to properly compute the package dependencies
  * Added symlinks to the old /usr/share/java/org.sat4j.*.jar files
    to preserve the backward compatibility

 -- Emmanuel Bourg <ebourg@apache.org>  Fri, 04 Nov 2016 23:10:51 +0100

sat4j (2.3.5-0.1) unstable; urgency=medium

  * Non-maintainer upload.

  [ Luca Vercelli ]
  * New upstream release. (Closes: #815911)
  * Add Maven artifacts and install corresponding pom.xml files.

  [ Markus Koschany ]
  * Switch to compat level 10.
  * Declare comliance with Debian Policy 3.9.8.
  * Fix debian/watch and detect the latest upstream releases.
  * Remove prebuilt jar files from the original tarball in get-orig-source
    target.

 -- Markus Koschany <apo@debian.org>  Sat, 29 Oct 2016 15:20:51 +0200

sat4j (2.3.3-1) unstable; urgency=low

  * New upstream release
  * Bumped standards version to 3.9.5 (no changes)

 -- Michael Tautschnig <mt@debian.org>  Sat, 28 Jun 2014 17:04:41 +0100

sat4j (2.3.2-1) unstable; urgency=low

  * New upstream release
  * Bumped standards version to 3.9.4 (no changes)
  * Use target 1.5 instead of jsr14 as Java7 no longer allows generics with
    jsr14. Thanks Niels Thykier for the report and patch (closes: #678007)

 -- Michael Tautschnig <mt@debian.org>  Sun, 02 Dec 2012 17:45:35 +0000

sat4j (2.3.1-1) unstable; urgency=low

  * New upstream release
  * Bumped standards version to 3.9.3 (no changes)
  * Added link to existing (but CC-BY-NC-ND) documentation
    (closes: #635357)
  * No longer requires maxsat-as-patch

 -- Michael Tautschnig <mt@debian.org>  Sun, 04 Mar 2012 01:38:25 +0000

sat4j (2.3.0-3) unstable; urgency=low

  * Reworked debian/rules using dh+jh (closes: #641378)
  * Cleanup patch names to make dpkg happy
  * Build level 1.5 bytecode as requested on eclipse/linuxtools-dev

 -- Michael Tautschnig <mt@debian.org>  Mon, 24 Oct 2011 10:39:02 +0100

sat4j (2.3.0-2) unstable; urgency=low

  * Include maxsat solver (closes: #636784)

 -- Michael Tautschnig <mt@debian.org>  Wed, 10 Aug 2011 00:35:50 +0200

sat4j (2.3.0-1) unstable; urgency=low

  * New upstream release (closes: #630720)
  * Bumped standards version to 3.9.2 (no changes)

 -- Michael Tautschnig <mt@debian.org>  Thu, 16 Jun 2011 18:16:35 +0200

sat4j (2.2.3-1) unstable; urgency=low

  * New upstream release
  * Changed build-date from SQUEEZE to WHEEZY

 -- Michael Tautschnig <mt@debian.org>  Tue, 08 Feb 2011 18:36:34 +0100

sat4j (2.2.0-3) unstable; urgency=low

  * Replace BUILD_DATE property by fixed string "SQUEEZE" to make eclipse
    happy, changed Breaks to eclipse (<= 3.5.2-5) (closes: #592181)

 -- Michael Tautschnig <mt@debian.org>  Mon, 16 Aug 2010 12:43:47 +0200

sat4j (2.2.0-2) unstable; urgency=low

  * Disabled very expensive tests
    CompetPBRes(Min)?HTMixedConstraintsObjectiveLearningTest to fix FTBFS
    (closes: #591140)
  * Bumped standards version to 3.9.1 (no changes)

 -- Michael Tautschnig <mt@debian.org>  Sun, 01 Aug 2010 12:03:10 +0200

sat4j (2.2.0-1) unstable; urgency=low

  * New upstream release (closes: #586437)
    - added Breaks: eclipse (<= 3.5.2-3) as requested by eclipse devs

 -- Michael Tautschnig <mt@debian.org>  Thu, 24 Jun 2010 10:14:30 +0200

sat4j (2.1.1-3) unstable; urgency=low

  * Bumped standards version to 3.8.4 (no changes)
  * Use ${java:Depends} and javahelper to get proper dependencies (closes:
    #577479)

 -- Michael Tautschnig <mt@debian.org>  Tue, 13 Apr 2010 16:51:40 +0200

sat4j (2.1.1-2) unstable; urgency=low

  * Switch to dpkg-source 3.0 (quilt) format
  * Bumped priority to optional to aid eclipse (closes: #564439)
  * Updated watch file to cope with WebSVN
  * Added ${misc:Depends} as required by debhelper
  * Removed lintian override build-depends-without-arch-dep ant which isn't
    necessary anymore.

 -- Michael Tautschnig <mt@debian.org>  Sat, 16 Jan 2010 14:13:00 +0100

sat4j (2.1.1-1) unstable; urgency=low

  * New upstream release
  * Bumped standards version to 3.8.3 (no changes)

 -- Michael Tautschnig <mt@debian.org>  Mon, 02 Nov 2009 22:16:18 +0100

sat4j (2.0.5-2) unstable; urgency=low

  * Dropped use of junit, only junit4 remains (fixes spurious errors in unit
    tests)
  * Added lintian source override for build-depends-without-arch-dep ant
  * Reworded description as suggested by lintian (using-first-person)

 -- Michael Tautschnig <mt@debian.org>  Mon, 16 Feb 2009 11:35:25 +0000

sat4j (2.0.5-1) unstable; urgency=low

  * New upstream release
  * Replace use of /usr/bin/ant by proper java use (closes: #512007)
  * Fixed minor bug in shipped build.xml instead of using home-grown build.xml

 -- Michael Tautschnig <mt@debian.org>  Sat, 31 Jan 2009 12:30:40 +0000

sat4j (2.0.4-2) unstable; urgency=low

  * Run tests after build unless nocheck
  * Requires ant-optional

 -- Michael Tautschnig <mt@debian.org>  Sun, 02 Nov 2008 18:42:11 +0000

sat4j (2.0.4-1) unstable; urgency=low

  * New upstream version (closes: #494944)
  * Depend on proper java6 runtime (closes: #503796)

 -- Michael Tautschnig <mt@debian.org>  Sat, 01 Nov 2008 16:38:35 +0000

sat4j (2.0.2-1) unstable; urgency=low

  * New upstream version (closes: #493917)
  * Switching over to openjdk-6 to get package fit for main
  * Fixed warnings caused by errors in ant build file
  * Build-depends on ant because it is used in clean,
    added lintian override

 -- Michael Tautschnig <mt@debian.org>  Fri, 22 Aug 2008 14:04:11 +0000

sat4j (2.0.1-1) unstable; urgency=low

  * Initial release (Closes: #485127)

 -- Michael Tautschnig <mt@debian.org>  Tue, 22 Jul 2008 09:27:20 +0000