minisat2_2.2.1-5+b3_amd64.deb


Advertisement

Description

minisat2 - Transitional package for minisat

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename minisat2_2.2.1-5+b3_amd64.deb
Package name minisat2
Package version 2.2.1
Package release 5+b3
Package architecture amd64
Package type deb
Category field::mathematics implemented-in::c++ role::program science
Homepage http://minisat.se/
License -
Maintainer Michael Tautschnig <mt@debian.org>
Download size 5.13 KB
Installed size 13.00 KB

Alternatives

Package Version Architecture Repository
minisat2_2.2.1-5+b3_i386.deb 2.2.1 i386 Debian Main
minisat2 - - -

Requires

Name Value
minisat -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package minisat2_2.2.1-5+b3_amd64.deb
Source Package minisat2

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install minisat2 deb package:
    # sudo apt-get install minisat2

Files

Path
/usr/share/doc/minisat2/changelog.Debian.amd64.gz
/usr/share/doc/minisat2/changelog.Debian.gz
/usr/share/doc/minisat2/changelog.gz
/usr/share/doc/minisat2/copyright

Changelog

2014-07-30 - Michael Tautschnig <mt@debian.org>
minisat2 (1:2.2.1-5) unstable; urgency=low
* Fix C++ syntax to enable Clang builds (closes: #756336)
* Bumped standards version to 3.9.5 (no changes)
2013-07-12 - Michael Tautschnig <mt@debian.org>
minisat2 (1:2.2.1-4) unstable; urgency=low
* Require a non-zero memory limit (closes: #716229)
* Bumped standards version to 3.9.4 (no changes)
* Bumped compatibility level to 9
2011-09-03 - Michael Tautschnig <mt@debian.org>
minisat2 (1:2.2.1-3) unstable; urgency=low
* Updated man page (closes: #638217)
2011-06-13 - Michael Tautschnig <mt@debian.org>
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)
2011-03-29 - Michael Tautschnig <mt@debian.org>
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.
2011-01-20 - Michael Tautschnig <mt@debian.org>
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).
2010-07-25 - Michael Tautschnig <mt@debian.org>
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).
2010-07-25 - Michael Tautschnig <mt@debian.org>
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)
2009-12-29 - Michael Tautschnig <mt@debian.org>
minisat2 (070721-8) unstable; urgency=low
* Added Homepage field.
2009-12-29 - Michael Tautschnig <mt@debian.org>
minisat2 (070721-7) unstable; urgency=low
* Bumped standards version to 3.8.3 (no changes).
* Use Copyright instead of (C) in debian/copyright.
* Build dynamic library (thanks Pietro Abate <Pietro.Abate@pps.jussieu.fr>
for ideas and patches). (Closes: #537372)

See Also

Package Description
minisat_2.2.1-5+b3_amd64.deb Fast and lightweight SAT solver
minissdpd_1.5.20190210-1_amd64.deb keep memory of all UPnP devices that announced themselves
ministat_20150715-1+b1_amd64.deb simple tool for statistical comparison of data sets
minitube_2.9-1_amd64.deb Native YouTube client
miniupnpc_2.1-1+b1_amd64.deb UPnP IGD client lightweight library client
miniupnpd_2.1-5_amd64.deb UPnP and NAT-PMP daemon for gateway routers
minizinc-ide_2.1.7-1_amd64.deb MiniZinc constraint modelling language IDE
minizinc_2.1.7+dfsg1-1_amd64.deb constraint modelling language and tool chain
minizip_1.1-8+b1_amd64.deb compression library - minizip tools
minlog_4.0.99.20100221-6_all.deb Proof assistant based on first order natural deduction calculus
minpack-dev_19961126+dfsg1-5_amd64.deb nonlinear equations and nonlinear least squares static library
minuet-data_17.08.3-2_all.deb data files for Minuet
minuet_17.08.3-2_amd64.deb KDE Software for Music Education
mipe_1.1-7_all.deb Tools to store PCR-derived data
mira-assembler_4.9.6-4+b1_amd64.deb Whole Genome Shotgun and EST Sequence Assembler
Advertisement
Advertisement