Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: gprolog | Distribution: Fedora Project |
Version: 1.5.0 | Vendor: Fedora Project |
Release: 15.fc43 | Build date: Thu Jul 24 18:37:20 2025 |
Group: Unspecified | Build host: buildvm-a64-14.rdu3.fedoraproject.org |
Size: 10276048 | Source RPM: gprolog-1.5.0-15.fc43.src.rpm |
Packager: Fedora Project | |
Url: http://www.gprolog.org | |
Summary: GNU Prolog is a free Prolog compiler |
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.
LGPL-3.0-or-later OR GPL-2.0-or-later
* Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Sun Feb 23 2025 Till Hofmann <thofmann@fedoraproject.org> - 1.5.0-14 - Build with `-std=gnu17` as C23 is not supported yet * Fri Jan 17 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sat Jan 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
/usr/bin/fd2c /usr/bin/gplc /usr/bin/gprolog /usr/bin/hexgplc /usr/bin/ma2asm /usr/bin/pl2wam /usr/bin/wam2ma /usr/lib/.build-id /usr/lib/.build-id/42 /usr/lib/.build-id/42/3e416c701e2a56636bfaf7347145b9a3ad92cd /usr/lib/.build-id/74 /usr/lib/.build-id/74/77acea072862190c13c5d4d26a7385f5673e4a /usr/lib/.build-id/7d /usr/lib/.build-id/7d/de5d73d18680b53233372364d2c9552cafe3bb /usr/lib/.build-id/ae /usr/lib/.build-id/ae/71a4e7e4f74ef2c2fabf079c585ff6ea01dc0e /usr/lib/.build-id/c8 /usr/lib/.build-id/c8/a75a780c380f101fa779a76b2ef778a57f30eb /usr/lib/.build-id/e8 /usr/lib/.build-id/e8/0abb5448b2d9b1a470ccd8ba67106d227d7385 /usr/lib/.build-id/f8 /usr/lib/.build-id/f8/252271f36599a1fa17f973223fa3a30a8f090b /usr/lib64/gprolog-1.5.0 /usr/lib64/gprolog-1.5.0/bin /usr/lib64/gprolog-1.5.0/bin/fd2c /usr/lib64/gprolog-1.5.0/bin/gplc /usr/lib64/gprolog-1.5.0/bin/gprolog /usr/lib64/gprolog-1.5.0/bin/hexgplc /usr/lib64/gprolog-1.5.0/bin/ma2asm /usr/lib64/gprolog-1.5.0/bin/pl2wam /usr/lib64/gprolog-1.5.0/bin/wam2ma /usr/lib64/gprolog-1.5.0/gprolog.ico /usr/lib64/gprolog-1.5.0/include /usr/lib64/gprolog-1.5.0/include/fd_to_c.h /usr/lib64/gprolog-1.5.0/include/gprolog.h /usr/lib64/gprolog-1.5.0/lib /usr/lib64/gprolog-1.5.0/lib/all_fd_bips.o /usr/lib64/gprolog-1.5.0/lib/all_pl_bips.o /usr/lib64/gprolog-1.5.0/lib/debugger.o /usr/lib64/gprolog-1.5.0/lib/libbips_fd.a /usr/lib64/gprolog-1.5.0/lib/libbips_pl.a /usr/lib64/gprolog-1.5.0/lib/libengine_fd.a /usr/lib64/gprolog-1.5.0/lib/libengine_pl.a /usr/lib64/gprolog-1.5.0/lib/liblinedit.a /usr/lib64/gprolog-1.5.0/lib/top_level.o /usr/lib64/gprolog-1.5.0/lib/top_level_main.o /usr/share/doc/gprolog /usr/share/doc/gprolog/COPYING /usr/share/doc/gprolog/ChangeLog /usr/share/doc/gprolog/NEWS /usr/share/doc/gprolog/PROBLEMS /usr/share/doc/gprolog/README /usr/share/doc/gprolog/VERSION
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Aug 1 00:40:41 2025