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
|
p9m4 (0.5.dfsg-3) unstable; urgency=medium
* QA upload.
* Orphan the package, after request of the MIA team and ack from PAPT team.
Closes: #740323
* Also remove Vcs-* fields, being removed from the PAPT team.
* remove long useless debian/pycompat file.
* debian/control: remove long useless DM-Upload-Allowed field.
* Build with dh-python instead of python-support. Closes: #786257
* Use source format 3.0 (quilt).
* Bump debhelper compat to 9.
* Bump Standards-Version to 3.9.6, no changes needed.
-- Mattia Rizzolo <mattia@debian.org> Mon, 14 Dec 2015 15:48:42 +0000
p9m4 (0.5.dfsg-2.2) unstable; urgency=medium
* Non-maintainer upload.
* Update to depend on python-wxgtk3.0 rather than python-wxgtk2.8.
(Closes: #758507)
-- Olly Betts <olly@survex.com> Sat, 30 Aug 2014 15:56:58 +0000
p9m4 (0.5.dfsg-2.1) unstable; urgency=low
* Non-maintainer upload.
* Update to suggest python-wxgtk2.8 rather than python-wxgtk2.6 - should
be a low risk change, as with default alternatives 2.8 will already get
used if installed, and 2.8 has twice as many installs according to popcon.
(Closes: #645569)
-- Olly Betts <olly@survex.com> Thu, 24 Nov 2011 04:25:46 +0000
p9m4 (0.5.dfsg-2) unstable; urgency=low
[ Sandro Tosi ]
* debian/control
- switch Vcs-Browser field to viewsvn
[ Marco Rodrigues ]
* debian/control:
+ Add ${misc:Depends} to Depends to remove
lintian warning.
[ Peter Collingbourne ]
* debian/install: removed shell brace expansion
* debian/prover9-mace4.1, debian/control, debian/copyright: changed
maintainer email address
* debian/copyright: updated year, use correct declaration of
copyright, refer to version of GPL
* debian/control: updated Standards-Version
* debian/patches/04-64bit.patch: added; Prover9-Mace4 can now start on
64-bit platforms (closes: #526685)
* debian/control: added DM-Upload-Allowed: yes
-- Peter Collingbourne <peter@pcc.me.uk> Sun, 03 May 2009 16:00:55 +0100
p9m4 (0.5.dfsg-1) unstable; urgency=low
* Initial release (closes: #460813)
* my_setup.py, partition_input.py: removed Python-2.5isms from code
* debian/setup.py: wrote distutils script
* files.py, prover9-mace4.py: point to correct file locations
-- Peter Collingbourne <pcc03@doc.ic.ac.uk> Tue, 15 Jan 2008 01:35:54 +0000
|
