Ubuntu
prover9-manual package

lp:ubuntu/intrepid/prover9-manual

  1. Intrepid (8.10)
  2. intrepid
Created by James Westby and last modified
Get this branch:
bzr branch lp:ubuntu/intrepid/prover9-manual
Members of Ubuntu branches can upload to this branch. Log in for directions.

Related bugs

Related blueprints

Branch information

Owner:
Ubuntu branches
Review team:
Ubuntu Development Team
Status:
Mature

Recent revisions

4. By Peter Collingbourne

* New upstream release.
* debian/control: new Standards-Version

3. By Peter Collingbourne

* New upstream release.
* debian/control: added DM-Upload-Allowed: yes

2. By Peter Collingbourne

* New upstream release.
* debian/watch: added support for new version numbering scheme

1. By Peter Collingbourne

Import upstream version 0.0.200804a

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:ubuntu/karmic/prover9-manual
This branch contains Public information 
Everyone can see this information.

Subscribers