Name: | gprolog |
---|---|
Version: | 1.5.0 |
Release: | 6.el8 |
Architecture: | x86_64 |
Group: | Unspecified |
Size: | 6567681 |
License: | LGPLv3+ or GPLv2+ |
RPM: | gprolog-1.5.0-6.el8.x86_64.rpm |
Source RPM: | gprolog-1.5.0-6.el8.src.rpm |
Build Date: | Thu Sep 15 2022 |
Build Host: | build-ol8-x86_64.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. |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
- Remove package note flags from headers (#2051341) - Change license from GPLv2+ to LGPLv3+ or GPLv2+ - Add patch to link binaries with Fedora LDFLAGS - Add aarch64 to list of supported architectures - Allow use of registers unless building for 32-bit x86 - Improve build reproducibility - Fix rpmlint warnings about mixed spaces and tabs
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
- Update to 1.5.0
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
- Disable LTO
- Add -fcommon to fix FTBFS #1799464 - Add BR: gdb-headless - Adapt patch to display the output of sub-make
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild