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
|
picosat (965-2) unstable; urgency=medium
* Use dpkg buildtools.mk supply cross tools via environment
- Thank you, Helmut Grohne! (Closes: #978542)
* Add myself to uploaders
* Add "Rules-Requires-Root: no"
* Propagate hardening options properly
-- Nilesh Patra <npatra974@gmail.com> Sun, 21 Feb 2021 12:17:23 +0530
picosat (965-1) unstable; urgency=medium
* Team upload.
* Move packaging to Debian Science team
* debhelper-compat 12
* Standards-Version: 4.4.0
* Secure URI in copyright format
* Remove old boilerplate from debian/rules
* Trim trailing whitespace.
* Set upstream metadata fields: Contact, Name.
* d/rules: Use default flags
* Split patch into logical pieces
* Multiarch location for libraries
* Fix symbols file
* Hardening
-- Andreas Tille <tille@debian.org> Tue, 20 Aug 2019 10:44:08 +0200
picosat (960-1) unstable; urgency=low
* New upstream version
-- Michael Tautschnig <mt@debian.org> Sat, 08 Nov 2014 18:15:16 +0000
picosat (959-1) unstable; urgency=low
* New upstream version
* Bumped standards version to 3.9.5 (no changes)
-- Michael Tautschnig <mt@debian.org> Sat, 28 Jun 2014 17:37:26 +0100
picosat (954-1) unstable; urgency=low
* New upstream version (closes: #696246)
-- Michael Tautschnig <mt@debian.org> Thu, 20 Dec 2012 20:13:50 +0000
picosat (953-2) unstable; urgency=low
* Actually bump standards version to 3.9.4
* Added symbol files
-- Michael Tautschnig <mt@debian.org> Sun, 02 Dec 2012 13:18:49 +0000
picosat (953-1) unstable; urgency=low
* Bumped standards version to 3.9.4 (no changes)
* New upstream version (closes: #694592)
* Converted debian/copyright to DEP-5
-- Michael Tautschnig <mt@debian.org> Sun, 02 Dec 2012 11:32:09 +0000
picosat (936-4) unstable; urgency=low
* Bumped standards version to 3.9.3 (no changes)
* Really ship the picomus binary (closes: #635114)
* Converted debian/copyright to DEP-5
-- Michael Tautschnig <mt@debian.org> Sat, 03 Mar 2012 22:55:43 +0000
picosat (936-3) unstable; urgency=low
* Ship picomus binary for computing minimal unsatisfiying cores
(closes: #635114)
* Bumped standards version to 3.9.2 (no changes)
-- Michael Tautschnig <mt@debian.org> Wed, 10 Aug 2011 01:03:57 +0200
picosat (936-2) unstable; urgency=low
* Also build library with trace support as libpicosat-trace.so
(closes: #607943).
-- Michael Tautschnig <mt@debian.org> Tue, 29 Mar 2011 14:24:29 +0200
picosat (936-1) unstable; urgency=low
* New upstream release (updated Debian-specific patches)
* Bumped standards version to 3.9.1 (no changes)
-- Michael Tautschnig <mt@debian.org> Mon, 16 Aug 2010 15:04:10 +0200
picosat (913-4) unstable; urgency=low
* Install picosat.h and libpicosat.{a,so}, thanks Pietro Abate for most of
the necessary patch (closes: #576364).
* Cleanup debian/rules and add support for building dynamic libraries.
-- Michael Tautschnig <mt@debian.org> Sun, 04 Apr 2010 00:36:27 +0200
picosat (913-2) unstable; urgency=low
* Switch to dpkg-source 3.0 (quilt) format
* Bumped standards version to 3.8.4 (no changes)
* Build additional picosat.trace to have a solver with proof/core support
available (closes: #567754)
-- Michael Tautschnig <mt@debian.org> Fri, 05 Feb 2010 12:50:29 +0100
picosat (913-1) unstable; urgency=low
* New upstream release
* Bumped standards version to 3.8.3 (no changes)
* Extended long description
-- Michael Tautschnig <mt@debian.org> Mon, 02 Nov 2009 22:03:31 +0100
picosat (846-1) unstable; urgency=low
* New upstream release
* Added Homepage: to control
* Added watch file
* Updated man page to reflect new command line options
-- Michael Tautschnig <mt@debian.org> Wed, 01 Oct 2008 00:07:53 +0200
picosat (632-1) unstable; urgency=low
* Initial release (Closes: #485117)
-- Michael Tautschnig <mt@debian.org> Sun, 8 Jun 2008 13:08:48 +0200
|
