lp:debian/jessie/p9m4
- Get this branch:
- bzr branch lp:debian/jessie/p9m4
Branch information
- Owner:
- Ubuntu branches
- Status:
- Development
Recent revisions
- 5. By Olly Betts
-
* Non-maintainer upload.
* Update to depend on python-wxgtk3.0 rather than python-wxgtk2.8.
(Closes: #758507) - 4. By Olly Betts
-
* 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>
-
[ 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
-
* 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
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:debian/p9m4