Fedora 21 Update: undertaker-1.6-2.fc21

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-13602
2014-10-27 07:53:02
--------------------------------------------------------------------------------

Name        : undertaker
Product     : Fedora 21
Version     : 1.6
Release     : 2.fc21
URL         : http://vamos.informatik.uni-erlangen.de/trac/undertaker
Summary     : Find always-on and always-off conditional C code
Description :
The undertaker is an implementation of the Vamos project's preprocessor
and configuration analysis approaches.  It can check the structure of
preprocessor directives against different configuration models to find
blocks that can't be selected or deselected.

--------------------------------------------------------------------------------
Update Information:

This undertaker update skips four versions (1.2 to 1.6), reflecting the time it took to get new dependencies into Fedora.  Numerous improvements and bug fixes have been made in that time, reflected in the git logs available at https://vamos.informatik.uni-erlangen.de/gerrit/gitweb?p=undertaker.git;a=summary.

See http://fmv.jku.at/picosat/NEWS for the changes in picosat version 960.

This version of csisat is simply a rebuild against the new picosat build.
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use
su -c 'yum update undertaker' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------