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

gprolog-1.5.0-11.fc40 RPM for x86_64

From Fedora Rawhide for x86_64 / g

Name: gprolog Distribution: Fedora Project
Version: 1.5.0 Vendor: Fedora Project
Release: 11.fc40 Build date: Wed Jan 24 22:06:03 2024
Group: Unspecified Build host: buildhw-x86-10.iad2.fedoraproject.org
Size: 5616584 Source RPM: gprolog-1.5.0-11.fc40.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

* 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
* Thu Feb 10 2022 Jerry James <loganjerry@gmail.com> - 1.5.0-5
  - 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

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/24
/usr/lib/.build-id/24/ad4427cac134bd3690d2de1e70334ca3bcfd1e
/usr/lib/.build-id/43
/usr/lib/.build-id/43/b5bab8285ad37cfac200cb122df8381565061d
/usr/lib/.build-id/58
/usr/lib/.build-id/58/0abc0d2fbb7b3da579cf3d4663f2da34c01a6d
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/7caa9218e8a50b7cca76e5426c367bf077444b
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/e8c4f04413fd2b508336bc5e080f3284c909a1
/usr/lib/.build-id/b7
/usr/lib/.build-id/b7/7cb2710cde0cb0cbaf9a69c305d377f8181f4c
/usr/lib/.build-id/d6
/usr/lib/.build-id/d6/dfa6d242a928c5dcff962104cac1a5af55ae4e
/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, Thu May 2 00:07:47 2024