lp:debian/p9m4

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

5. By Olly Betts on 2014-08-30

* Non-maintainer upload.
* Update to depend on python-wxgtk3.0 rather than python-wxgtk2.8.
  (Closes: #758507)

4. By Olly Betts on 2011-11-24

* 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)

3. By Peter Collingbourne <email address hidden> on 2009-05-03

[ 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

2. By Peter Collingbourne on 2008-01-15

* 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

1. By Peter Collingbourne on 2008-01-15

Import upstream version 0.5.dfsg