lp:debian/squeeze/picosat
Created by
James Westby
and last modified
- Get this branch:
- bzr branch lp:debian/squeeze/picosat
Members of
Ubuntu branches
can upload to this branch. Log in for directions.
Branch information
- Owner:
- Ubuntu branches
- Status:
- Development
Recent revisions
- 6. By Michael Tautschnig
-
* 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. - 5. By Michael Tautschnig
-
* 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) - 4. By Michael Tautschnig
-
* New upstream release
* Bumped standards version to 3.8.3 (no changes)
* Extended long description - 3. By Michael Tautschnig
-
* New upstream release
* Added Homepage: to control
* Added watch file
* Updated man page to reflect new command line options
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)