-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2012-20495 2012-12-17 00:50:26 --------------------------------------------------------------------------------
Name : gprolog Product : Fedora 17 Version : 1.4.2 Release : 1.fc17 URL : http://www.gprolog.org Summary : GNU Prolog is a free Prolog compiler Description : GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz (http://loco.inria.fr/~diaz). GNU Prolog is a very efficient native compiler producing (small) stand-alone executables. GNU-Prolog also offers a classical top-level+debugger. GNU Prolog conforms to the ISO standard for Prolog but also includes a lot of extensions (global variables, DCG, sockets, OS interface,...). GNU Prolog also includes a powerful constraint solver over finite domains with many predefined constraints+heuristics. -------------------------------------------------------------------------------- Update Information: Minor bugfixes from upstream. -------------------------------------------------------------------------------- ChangeLog: * Sat Dec 15 2012 Jochen Schmitt <Jochen herr-schmitt de> - 1.4.2-1 - New upstream release * Thu Oct 4 2012 Jochen Schmitt <Jochen herr-schmitt de> - 1.4.1-2 - Remove reference to test pach * Thu Oct 4 2012 Jochen Schmitt <Jochen herr-schmitt de> - 1.4.1-1 - New upstream release - Clean up SPEC file * Thu Jul 19 2012 Fedora Release Engineering <[email protected]> - 1.4.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update gprolog' 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 -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
