-
minisat2 (1:2.2.1-2) unstable; urgency=low
* Include headers from simp/ directory in package
* Bumped standards version to 3.9.2 (no changes)
-- Ubuntu Archive Auto-Sync <email address hidden> Tue, 14 Jun 2011 10:04:16 +0000
-
minisat2 (1:2.2.1-1) unstable; urgency=low
* Upload of package with revamped build system to unstable.
* Rename main binary package to minisat, added transitional package.
* Use debhelper 7.
minisat2 (1:2.2.0-3) experimental; urgency=low
* Current upstream git snapshot with fully reworked build system.
- Properly builds shared library (closes: #606846).
- Fixes include hierarchy (closes: #606643).
-- Ubuntu Archive Auto-Sync <email address hidden> Sat, 30 Apr 2011 13:18:14 +0000
-
minisat2 (1:2.2.0-2) unstable; urgency=low
* Fix FTBFS due to undefined _FPU_{EXTENDED,DOUBLE} (closes: #590254).
* Fix FTBFS due to undefined memUsedPeak (closes: #590255).
minisat2 (1:2.2.0-1) unstable; urgency=low
* New upstream version.
- Introduced epoch as new versioning scheme is in use.
- Added Vcs-Git and Vcs-Browser control fields.
- Bumped SO version as all functions have been moved into a namespace.
- Added patch 9bd8749.
* Switch to dpkg-source 3.0 (quilt) format
* Bumped standards version to 3.9.0 (no changes)
-- Ubuntu Archive Auto-Sync <email address hidden> Fri, 15 Oct 2010 09:46:00 +0000
