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
|
cryptominisat (5.8.0+dfsg1-1) unstable; urgency=medium
* Add patch for reproducible builds. (Closes: #960388)
* New upstream release.
* Bump dh-compat to 13.
* Update d/copyright.
* Add patch fixing typos.
* Add patch fixing manpages.
-- Julien Puydt <jpuydt@debian.org> Sat, 11 Jul 2020 12:11:26 +0200
cryptominisat (5.7.1+dfsg1-1) unstable; urgency=medium
* New upstream release 5.7.1.
* Add myself to the packaging.
* Point Vcs-* fields to salsa.
* Update deps (Closes: #915605, #954895).
* Fix typo in description (Closes: #931284).
* Drop the symbols file (Closes: #913390, #914711).
* Drop d/compat and use dh-compat 12.
* Bump std-ver to 4.5.0.
* Reworked d/copyright.
* Ship upstream manpages.
* Add links from versioned executables to unversioned.
* Update d/copyright's Files-Excluded to new upstream.
* Improve d/watch.
* Drop DEB_LDFLAGS_MAINT_APPEND from d/rules: its value
is now default.
* Add help2man to b-deps.
-- Julien Puydt <jpuydt@debian.org> Fri, 08 May 2020 10:55:25 +0200
cryptominisat (5.6.4+dfsg.1-1) unstable; urgency=low
* Initial release. Stripped the upstream tarball of parts of the non-free
docs/ directory. Closes: #905391
-- Julian Rüth <julian.rueth@fsfe.org> Tue, 28 Aug 2018 20:21:40 -0700
|
