-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2013-4726 2013-04-03 03:36:27 --------------------------------------------------------------------------------
Name : gprolog Product : Fedora 18 Version : 1.4.3 Release : 1.fc18 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 bug fixes and enhancement like the display of the used plattform (32/64 bit). -------------------------------------------------------------------------------- ChangeLog: * Mon Apr 1 2013 Peter Robinson <[email protected]> 1.4.3-1 - Update to 1.4.3 * Sat Feb 2 2013 Jochen Schmitt <Jochen herr-schmitt de> - 1.4.2-2 - Fix wrong license specification * Sat Dec 15 2012 Jochen Schmitt <Jochen herr-schmitt de> - 1.4.2-1 - New upstream release -------------------------------------------------------------------------------- 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
