Fedora 16 Update: minion-0.14-1.fc16

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-11211
2012-07-28 00:39:57
--------------------------------------------------------------------------------

Name        : minion
Product     : Fedora 16
Version     : 0.14
Release     : 1.fc16
URL         : http://minion.sourceforge.net/
Summary     : Fast, Scalable Constraint Solving
Description :
MINION is a new constraint solver, which is very fast and scales
well as problem size increases. Empirical results on standard
benchmarks show orders of magnitude performance gains over
state-of-the-art constraint toolkits. These gains increase with
problem size --- MINION delivers scalable constraint solving.

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

update to 0.14 upstream release
--------------------------------------------------------------------------------
ChangeLog:

* Fri Jul 27 2012 Alexis Lameire <alexisis-pristontale at hotmail.com> - 0.14-1
- Update to 0.14 upstream release
* Fri Jul 20 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.10-11
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Tue Feb 28 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.10-10
- Rebuilt for c++ ABI breakage
* Fri Jan 13 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.10-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
* Fri Dec 23 2011 Peter Robinson <pbrobinson at fedoraproject.org> - 0.10-8
- Rebuild for new boost again
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update minion' 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
--------------------------------------------------------------------------------