packup_0.6-3_i386.deb


Advertisement

Description

packup - CUDF solver based on pseudo-Boolean constraints

Property Value
Distribution Ubuntu 17.10 (Artful Aardvark)
Repository Ubuntu Universe i386
Package name packup
Package version 0.6
Package release 3
Package architecture i386
Package type deb
Installed size 248 B
Download size 88.56 KB
Official Mirror archive.ubuntu.com
packup is a solver for the package upgradability problem specified in
the CUDF format. It repeatedly invokes an optimization pseudo-Boolean
solver in order to solve the problem. By default minisat+ is used for
that purpose but a different solver can be used by specifying the
pertaining command line option.

Alternatives

Package Version Architecture Repository
packup_0.6-3_amd64.deb 0.6 amd64 Ubuntu Universe
packup - - -

Requires

Name Value
libc6 >= 2.4
libgcc1 >= 1:3.0
libgmp10 -
libgmpxx4ldbl -
libstdc++6 >= 5.2
minisat+ -
zlib1g >= 1:1.1.4

Provides

Name Value
cudf-solver -

Download

Type URL
Binary Package packup_0.6-3_i386.deb
Source Package packup

Install Howto

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

Files

Path
/usr/bin/packup
/usr/share/cudf/solvers/packup
/usr/share/doc/packup/changelog.Debian.gz
/usr/share/doc/packup/copyright
/usr/share/man/man1/packup.1.gz

Changelog

2016-12-20 - Ralf Treinen <treinen@debian.org>
packup (0.6-3) unstable; urgency=medium
* patch c++11: compliance with the C++11 standard. This fixes FTBFS with
gcc-6. Thanks a lot to Mikoláš Janota for the patch (closes:  #811793).
* debian/copyright: machine-readable format 1.0
* Standards-Version 3.9.8 (no change)
* Fixed spelling error in changelog entry of 0.6-2.
* Debhelper compatibility level 10:
- bump debian/compat
- bump build-dependency on debhelper
* Vcs-{Git,Browser}: use secure URI
* Dropped debian/svn-deblayout
* Fix trivial spelling mistake in Encoder.cc
* Add simple as-installed package test
2013-05-30 - Ralf Treinen <treinen@debian.org>
packup (0.6-2) unstable; urgency=low
* Migrate to git:
- update Vcs-* fields in debian/control
- add debian/gbp.conf with pristine-tar=true
* Standards-Version 3.9.4 (no change)
* Debhelper compatibility level 9:
- update debian/compat
- bump version of build-dependency on debhelper
* patch make-environment: proper usage of the build-environment by
upstream's Makefile (fixes missing hardening flags).
2011-06-15 - Ralf Treinen <treinen@debian.org>
packup (0.6-1) unstable; urgency=low
* New upstream release.
2011-06-10 - Ralf Treinen <treinen@debian.org>
packup (0.5-3) unstable; urgency=low
* Remove wrapper since no longer needed
* Use interpolation variables in solver specification file, add description
2011-06-06 - Ralf Treinen <treinen@debian.org>
packup (0.5-2) unstable; urgency=low
* Install specification file into /usr/share/cudf/solvers.
2011-05-27 - Ralf Treinen <treinen@debian.org>
packup (0.5-1) unstable; urgency=low
* Initial release (closes: #627973)

See Also

Package Description
pacman4console_1.3-1build1_i386.deb ncurses-based pacman game
pacman_10-17.2_i386.deb Chase Monsters in a Labyrinth
paco_0.10-1.1_all.deb Transitional package to pull in porg
pacpl_5.0.1-1_all.deb multi-purpose audio converter/ripper/tagger script
pads_1.2-11.1ubuntu1_i386.deb Passive Asset Detection System
paexec_1.0.1-4_i386.deb execute tasks in parallel
page-crunch_1.0.1-3_all.deb PDF and PS manipulation for printing needs
pagein_0.00.05-1_i386.deb tool to force swapped out pages to be resident in memory
pagekite_0.5.9.0-1_all.deb Make localhost servers publicly visible
pagemon_0.01.10-1_i386.deb interactive memory/page monitoring tool
pages2epub_0.9.5-1build1_i386.deb Apple Pages to EPUB converter
pages2odt_0.9.5-1build1_i386.deb Apple Pages text documents to OpenDocument converter
pagetools_0.1-2_i386.deb Automatic deskew and bounding box determination for scanned page images
painintheapt_0.20161206-1_all.deb Pester people about available package updates by email or jabber
pairs_15.04.3-1_i386.deb memory and pairs game
Advertisement
Advertisement