cain-solvers_1.10+dfsg-2_amd64.deb


Advertisement

Description

cain-solvers - solvers for cain

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: cain-solvers
Package version: 1.10+dfsg
Package release: 2
Package architecture: amd64
Package type: deb
Installed size: 7.67 KB
Download size: 1.04 MB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

    Download

    Source package: cain

    Install Howto

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

    Changelog

    2016-05-27 - Sascha Steinbiss <sascha@steinbiss.name> cain (1.10+dfsg-2) unstable; urgency=medium * Team upload. * Fix build by making sure directory exists. * Make build reproducible. - Use stable order for files in help HTB. - Use consistent timezone. - Use consistent file permissions. * d/README.Debian: drop duplicate word * Use secure Vcs-Git. * Remove menu file to comply with new standards. * Enable full hardening.

    2015-12-19 - Andreas Tille <tille@debian.org> cain (1.10+dfsg-1) unstable; urgency=medium [ Ivo Maintz ] * debian/rules: - added patch by Chris Lamb <lamby@debian.org> for repoducible builds Closes: #792684 * debian/control: - bumped Standards-Version to 3.9.6 - changed description for cain-examples and cain-solvers [ Andreas Tille ] * New upstream version * Fixed watch file * debian/copyright rewritten to match DEP5 * Moved packaging from SVN to Git * Remove debian/menu

    2014-08-25 - Andreas Tille <tille@debian.org> cain (1.9-8) unstable; urgency=medium * Moved debian/upstream to debian/upstream/metadata * cme fix dpkg-control * Depends: python-wxgtk3.0 (instead of python-wxgtk2.8) Closes: #759051

    2013-10-14 - Andreas Tille <tille@debian.org> cain (1.9-7) unstable; urgency=low * Replace libeigen2-dev by libeigen3-dev. (Thanks for the patch to Anton Gladky <gladk@debian.org>) Closes: #726200 * debian/control: - cme fix dpkg-control - Priority: optional

    2012-08-16 - Andreas Tille <tille@debian.org> cain (1.9-6) unstable; urgency=low * Enable arch only builds (thanks for the patch to Adam Conrad <adconrad@debian.org>) Closes: #685066

    2012-08-10 - Andreas Tille <tille@debian.org> cain (1.9-5) unstable; urgency=low [ Ivo Maintz ] * debian/rules: remove lots of superfluos files in help/ and gui/ * fixed broken links in the help LP: #1032304 [ Andreas Tille ] * debian/control: - Build-Depends: zip - Removed quilt from Build-Depends * debian/rules: use xz compression

    2012-05-24 - Andreas Tille <tille@debian.org> cain (1.9-4) unstable; urgency=low * debian/rules: Enable binary only builds Closes: #674235

    2012-05-22 - Andreas Tille <tille@debian.org> cain (1.9-3) unstable; urgency=low [ Ivo Maintz ] * added a simple manpage [ Andreas Tille ] * debian/upstream: Add publication information * debian/patches/gcc-4.7.patch: Fix build failure with GCC 4.7. (Thanks for the patch to Matthias Klose <doko@debian.org>) Closes: #672045 * debian/patches/*: DEP3 descriptions for patches * debian/control: Standards-Version: 3.9.3 (no changes needed) * debhelper 9 (control+compat) * debian/{dirs,docs}: deleted because unused * debian/patches/hardening.patch: Propagate hardening flags * debian/rules: Rewritten to use short dh which finally cares for the propagation of hardening flags (when doing so use installation via direct debhelper control files: *.install) * debian/cain-solvers.{install,links}: install solvers into usr/lib/cain/solvers rather than usr/lib/solvers * debian/menu: Use existing menu section

    2011-10-13 - Ivo Maintz <ivo@maintz.de> cain (1.9-2) unstable; urgency=low * changed the partitioning of the package

    2011-09-28 - Ivo Maintz <ivo@maintz.de> cain (1.9-1) unstable; urgency=low * New upstream release

    Advertisement
    Advertisement