Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

gprolog-1.5.0-12.fc41 RPM for x86_64

From Fedora Rawhide for x86_64 / g

Name: gprolog Distribution: Fedora Project
Version: 1.5.0 Vendor: Fedora Project
Release: 12.fc41 Build date: Thu Jul 18 19:58:12 2024
Group: Unspecified Build host: buildvm-x86-14.iad2.fedoraproject.org
Size: 5637562 Source RPM: gprolog-1.5.0-12.fc41.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.

Provides

Requires

License

LGPL-3.0-or-later OR GPL-2.0-or-later

Changelog

* 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
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Fri Jun 23 2023 Till Hofmann <thofmann@fedoraproject.org> - 1.5.0-8
  - Migrate to SPDX license tag
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

Files

/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/02
/usr/lib/.build-id/02/a0c71eec717302e590cc1c100495bf73470570
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/3db7a1b5a122fab7ddb68b7587f846d927ed94
/usr/lib/.build-id/27
/usr/lib/.build-id/27/beab8026001c033d73d222d6bf315b3744474d
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/0a370ede0119f8c5c061bf22f3da3497bdd253
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/441b5755a33fc92d69084325b650e5362f89d4
/usr/lib/.build-id/af
/usr/lib/.build-id/af/e42a0629c16c6fa012829f3e831b9740f54a30
/usr/lib/.build-id/e5
/usr/lib/.build-id/e5/1ce884a619ab2155965ba6c42937a16c11e3d0
/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 Oct 18 00:49:35 2024