boolstuff - programs for operating on boolean expression binary trees

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name boolstuff
Package version 0.1.14
Package release 2
Package architecture i386
Package type deb
Installed size 82 B
Download size 20.57 KB
Official Mirror
BoolStuff is a C++ library that supports a few operations on boolean
expression binary trees.
This package includes extra programs that allow the usage of the library
from the shell. A command named booldnf can be used to convert an
expression to the Disjunctive Normal Form (DNF).


Package Version Architecture Repository
boolstuff_0.1.14-2_amd64.deb 0.1.14 amd64 Debian Main
boolstuff - - -


Name Value
libboolstuff-0.1-0 -
libc6 >= 2.1.3
libgcc1 >= 1:4.1.1
libstdc++6 >= 4.2.1


Type URL
Binary Package boolstuff_0.1.14-2_i386.deb
Source Package boolstuff

Install Howto

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




2014-01-09 - Miriam Ruiz <>
boolstuff (0.1.14-2) unstable; urgency=low
* Using dh-autoreconf instead of autotools-dev to also fix FTBFS
on ppc64el. Thanks to Logan Rosen. Closes: #733082
* Upgraded Standards-Version from 3.9.4 to 3.9.5
2013-09-15 - Miriam Ruiz <>
boolstuff (0.1.14-1) unstable; urgency=low
* New upstream release
* Changed my email address to
* Upgraded Standards-Version from 3.9.3 to 3.9.4
* Converted package for multiarch
* Updated short descriptions of the packages
2012-10-07 - Miriam Ruiz <>
boolstuff (0.1.13-1) unstable; urgency=low
* New upstream release
* Upgraded source package to DebSrc 3
* Upgraded Standards-Version from 3.8.3 to 3.9.3
* Added build-arch and build-indep targets to debian/rules
* Using dpkg-buildflags to harden builds. Increasing debian/compat to 9
* Replaced dh_clean -k by dh_prep in debian/rules
2009-09-27 - Miriam Ruiz <>
boolstuff (0.1.12-3) unstable; urgency=low
* Really apply patches when building this time. Closes: #467382
2009-09-24 - Miriam Ruiz <>
boolstuff (0.1.12-2) unstable; urgency=low
* Upgraded Standards-Version from 3.8.0 to 3.8.3
* Fixed package descriptions. Close: #467382
* Added build dependency: quilt
* Added patch so that it compiles in GCC 4.4. Closes: #504848
* Added new binary package with the debugging symbols
* Changed priority to optional
2008-12-18 - Miriam Ruiz <>
boolstuff (0.1.12-1) unstable; urgency=low
* New Upstream Release (Closes: #509112)
* Upgraded Standards-Version from 3.7.3 to 3.8.0
* Added -Wl,-as-needed -Wl,--no-undefined to LDFLAGS
* Added dependency from chrpath
* Run chrpath --delete on usr/bin/*
* Removed DM-Upload-Allowed: yes from debian/control
2008-02-19 - Miriam Ruiz <>
boolstuff (0.1.11-1) unstable; urgency=low
* Initial release (Closes: #466664)
* Note that DM-Upload-Allowed: yes has been added to debian/control to
allow Debian Maintainers' uploads.

See Also

Package Description
boot-info-script_0.61-2_all.deb inspect boot environment
bootcd_4.05_all.deb run your system from cd without need for disks
bootchart2_0.14.4-3_i386.deb boot process performance analyser
bootlogd_2.88dsf-59_i386.deb daemon to log boot messages
bootp_2.4.3-18_i386.deb server for the bootp protocol with DHCP support
bootparamd_0.17-9_i386.deb Boot parameter server
bootpc_0.64-7_i386.deb bootp client
bootstrap-vz_0.9.0-1_all.deb Software for creating Debian images for use in public or private clouds
bopm_3.1.3-3_i386.deb Blitzed Open Proxy Monitor
bosh_0.6-6_i386.deb browse output of processes
bosixnet-daemon_1.6-2_all.deb Build Own IPv6 Network (client utilities)
bosixnet-webui_1.6-2_i386.deb Build Own IPv6 Network (server utilities)
bossa-cli_1.3~20120408-5_i386.deb Atmel SAM ARM microcontroller flash programming utility
bossa_1.3~20120408-5_i386.deb Atmel SAM ARM microcontroller flash programming GUI
boswars-data_2.7-1_all.deb Images, data, and music files for Bos Wars