lp:ubuntu/saucy/picosat

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

13. By Michael Tautschnig on 2012-12-20

New upstream version (closes: #696246)

12. By Michael Tautschnig on 2012-12-02

* Actually bump standards version to 3.9.4
* Added symbol files

11. By Michael Tautschnig on 2012-12-02

* Bumped standards version to 3.9.4 (no changes)
* New upstream version (closes: #694592)
* Converted debian/copyright to DEP-5

10. By Michael Tautschnig on 2012-03-03

* Bumped standards version to 3.9.3 (no changes)
* Really ship the picomus binary (closes: #635114)
* Converted debian/copyright to DEP-5

9. By Michael Tautschnig on 2011-08-10

* Ship picomus binary for computing minimal unsatisfiying cores
  (closes: #635114)
* Bumped standards version to 3.9.2 (no changes)

8. By Michael Tautschnig on 2011-03-29

Also build library with trace support as libpicosat-trace.so
(closes: #607943).

7. By Michael Tautschnig on 2010-08-16

* New upstream release (updated Debian-specific patches)
* Bumped standards version to 3.9.1 (no changes)

6. By Michael Tautschnig on 2010-04-04

* 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 on 2010-02-05

* 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 on 2009-11-02

* New upstream release
* Bumped standards version to 3.8.3 (no changes)
* Extended long description