| Name: | gprolog |
|---|---|
| Version: | 1.4.4 |
| Release: | 1.el7 |
| Architecture: | x86_64 |
| Group: | Development/Languages |
| Size: | 5369737 |
| License: | GPLv2+ |
| RPM: | gprolog-1.4.4-1.el7.x86_64.rpm |
| Source RPM: | gprolog-1.4.4-1.el7.src.rpm |
| Build Date: | Wed Oct 25 2017 |
| Build Host: | x86-ol7-builder-03.us.oracle.com |
| Vendor: | Oracle America |
| 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. |
- New upstream release
- Update to 1.4.3
- Fix wrong license specification
- New upstream release
- Remove reference to test pach
- New upstream release - Clean up SPEC file
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
- Add additioal comment about state of PPC build patch
- Fix PPC build issue (#758825)