Fedora 16 Update: minion-0.14-1.fc16
updates at fedoraproject.org
updates at fedoraproject.org
Mon Aug 6 07:51:34 UTC 2012
--------------------------------------------------------------------------------
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
--------------------------------------------------------------------------------
More information about the package-announce
mailing list