propellor - property-based host configuration management in haskell

Property Value
Distribution Ubuntu 17.10 (Artful Aardvark)
Repository Ubuntu Universe i386
Package name propellor
Package version 4.7.6
Package release 1
Package architecture i386
Package type deb
Installed size 3.09 KB
Download size 958.16 KB
Official Mirror
Propellor ensures that the system it's run in satisfies a list of
properties, taking action as necessary when a property is not yet met.
It is configured using haskell.


Package Version Architecture Repository
propellor_4.7.6-1_amd64.deb 4.7.6 amd64 Ubuntu Universe
propellor - - -


Name Value
cabal-install -
ghc >= 7.4
git >= 1:2.9
libc6 >= 2.12
libffi6 >= 3.0.4
libghc-ansi-terminal-dev -
libghc-async-dev -
libghc-concurrent-output-dev -
libghc-exceptions-dev >= 0.6
libghc-hashable-dev -
libghc-hslogger-dev -
libghc-ifelse-dev -
libghc-mtl-dev -
libghc-network-dev -
libghc-propellor-dev -
libghc-split-dev -
libghc-stm-dev -
libghc-text-dev -
libghc-transformers-dev -
libghc-unix-compat-dev -
libgmp10 -


Type URL
Binary Package propellor_4.7.6-1_i386.deb
Source Package propellor

Install Howto

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




2017-08-17 - Sean Whitton <>
propellor (4.7.6-1) unstable; urgency=medium
* Package new upstream release.
* Bump debhelper compat to 10.
* Bump std-ver to 4.0.1 (no changes required).
2017-08-01 - Joey Hess <>
propellor (4.7.6) unstable; urgency=medium
* Sbuild: Add Sbuild.userConfig property.
Thanks, Sean Whitton
* Locale: Make sure that the locales package is installed when enabling
2017-08-01 - Joey Hess <>
propellor (4.7.5) unstable; urgency=medium
* Avoid crashing when getTerminalName fails due to eg, being in a chroot.
2017-08-01 - Joey Hess <>
propellor (4.7.4) unstable; urgency=medium
* Set GPG_TTY when run at a terminal, so that gpg can do password
prompting despite being connected by pipes to propellor (or git).
* Rsync: Make rsync display less verbose.
* Improve PROPELLOR_TRACE output so serialized trace values always
come on their own line, not mixed with title setting.
2017-07-29 - Joey Hess <>
propellor (4.7.3) unstable; urgency=medium
* Expand the Trace data type.
2017-07-29 - Joey Hess <>
propellor (4.7.2) unstable; urgency=medium
* Added PROPELLOR_TRACE environment variable, which can be set to 1 to
make propellor output serialized Propellor.Message.Trace values,
for consumption by another program.
* Rsync: Make rsync display its progress, in a minimal format to avoid
scrolling each file down the screen.
2017-07-28 - Joey Hess <>
propellor (4.7.1) unstable; urgency=medium
* Added Mount.isMounted.
* Grub.bootsMounted: Bugfix.
2017-07-28 - Joey Hess <>
propellor (4.7.0) unstable; urgency=medium
* Add Apt.proxy property to set a host's apt proxy.
Thanks, Sean Whitton.
* Add Apt.useLocalCacher property to set up apt-cacher-ng.
Thanks, Sean Whitton.
* Rework Sbuild properties to use apt proxies/cachers instead of
bind-mounting the host's apt cache. This makes it possible to run more
than one build at a time, and lets sbuild run even if apt's cache is
locked by the host's apt.
Thanks, Sean Whitton.
* Sbuild: When Apt.proxy is set, it is assumed that the proxy does some
sort of caching, and sbuild chroots are set up to use the same proxy.
* Sbuild: When Apt.proxy is not set, install apt-cacher-ng, and point
sbuild chroots at the local apt cacher.
* Sbuild: Droped Sbuild.piupartsConfFor, Sbuild.piupartsConf,
(API change)
No longer needed now that we are using apt proxies/cachers.
* Sbuild: Updated sample config in haddock for Propellor.Property.Sbuild.
If you use this module, please compare both your config.hs and
your ~/.sbuildrc with the haddock documentation.
* Grub.bootsMounted: Avoid failing when proc sys etc are already mounted
within the chroot.
2017-07-28 - Joey Hess <>
propellor (4.6.2) unstable; urgency=medium
* Systemd.nspawned: Recent systemd versions such as 234 ignore
non-symlinks in /etc/systemd/system/,
which was used to configure systemd-nspawn parameters. Instead,
use a service.d/local.conf file to configure that.
* Grub: Added bootsMounted property, a generalization of
2017-07-27 - Joey Hess <>
propellor (4.6.1) unstable; urgency=medium
* Added Network.dhcp' and Network.static', which allow specifying
additional options for interfaces files.
* Fix build failure on ghc-8.2.1
Thanks, Sergei Trofimovich.
* DiskImage: Fix strictness bug in .parttable read/write sequence.

See Also

Package Description
prosody-modules_0.0~hg20170123.3ed504b944e5+dfsg-1_all.deb Selection of community modules for Prosody
prosody_0.9.12-2_i386.deb Lightweight Jabber/XMPP server
prospector_0.12.7-1build1_all.deb comprehensive static Python code analyzer
prosper_2017.20170818-1_all.deb TeX Live: transitional dummy package
proteinortho_5.15+dfsg-1_i386.deb Detection of (Co-)orthologs in large-scale protein analysis
protobuf-c-compiler_1.2.1-2_i386.deb Protocol Buffers C compiler (protobuf-c)
protobuf-compiler-grpc_1.3.2-1_i386.deb high performance general RPC framework - protobuf plugin
protracker_2.3d.r10-1_i386.deb Amiga ProTracker v2.3D clone for modern computers
prottest_3.4.2+dfsg-2_all.deb selection of best-fit models of protein evolution
prov-tools_1.5.0-2_all.deb tools for prov
prover9-doc_0.0.200902a-2_all.deb documentation for Prover9 and associated programs
prover9-mace4_0.5.dfsg-3_all.deb GUI for Prover9 and Mace4
prover9_0.0.200911a-2.1_i386.deb theorem prover and countermodel generator
proxsmtp_1.10-2.1_i386.deb multi purpose SMTP Proxy
proxychains_3.1-7_all.deb proxy chains - redirect connections through proxy servers