Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: swi-prolog-core | Distribution: Fedora Project |
Version: 9.2.7 | Vendor: Fedora Project |
Release: 3.fc41 | Build date: Wed Sep 18 18:28:53 2024 |
Group: Unspecified | Build host: buildvm-ppc64le-02.iad2.fedoraproject.org |
Size: 6850393 | Source RPM: pl-9.2.7-3.fc41.src.rpm |
Packager: Fedora Project | |
Url: https://www.swi-prolog.org/ | |
Summary: ISO/Edinburgh-style Prolog interpreter - core system |
SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it. SWI-Prolog additionally offers: * A powerful module system * Garbage collection * Unicode character set handling * Unbounted integer and rational number arithmetic * Multithreading support * A powerful C/C++ interface * GNU Readline interface This package contains the core SWI-Prolog system.
BSD-2-Clause AND BSD-3-Clause AND (GPL-2.0-or-later WITH SWI-exception OR Artistic-2.0) AND LicenseRef-Fedora-Public-Domain AND Unicode-TOU AND Zlib AND dtoa
* Wed Sep 18 2024 Jerry James <[email protected]> - 9.2.7-3 - Fix swi-prolog-java FTI (rhbz#2313232) - Expose inclpr plugin dependency on the math library - Fix a license typo in swi-prolog-core - Fix broken links - Deduplicate files * Tue Sep 17 2024 Jerry James <[email protected]> - 9.2.7-2 - Fix swi-prolog-doc dependency on swi-prolog-core * Tue Sep 17 2024 Jerry James <[email protected]> - 9.2.7-1 - Version 9.2.7 - Change subpackage names to match Debian at upstream's request - Build with tcmalloc support - Unbundle texinfo.tex - Setting LC_ALL is no longer necessary - Drop JavaConfig.java in favor of %%{java_home} - Tests now pass on all architectures - Numerous spec file cleanups and simplifications * Thu Jul 25 2024 Jerry James <[email protected]> - 9.2.6-1 - Version 9.2.6 - Build with Qt6 instead of Qt5 * Fri Jul 19 2024 Fedora Release Engineering <[email protected]> - 9.2.5-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Wed Jul 17 2024 Jerry James <[email protected]> - 9.2.5-3 - Fix VCS field * Fri Jun 07 2024 Python Maint <[email protected]> - 9.2.5-2 - Rebuilt for Python 3.13 * Wed May 22 2024 Jerry James <[email protected]> - 9.2.5-1 - Version 9.2.5 - Drop upstreamed zlib patch - Drop junit.jar workaround, now fixed upstream * Fri Apr 26 2024 Jerry James <[email protected]> - 9.2.4-1 - Version 9.2.4 - Drop upstreamed template-id and janus-ref patches * Sun Apr 07 2024 Miroslav Suchý <[email protected]> - 9.2.3-3 - Correct typo in SPDX license * Fri Apr 05 2024 Jerry James <[email protected]> - 9.2.3-2 - Fix use-after-free scenario in swipy * Fri Apr 05 2024 Jerry James <[email protected]> - 9.2.3-1 - Version 9.2.3 - Add template-id patch for C++20 compatibility * Sun Mar 03 2024 Jerry James <[email protected]> - 9.2.2-1 - Version 9.2.2 * Wed Feb 14 2024 Jerry James <[email protected]> - 9.2.1-1 - Version 9.2.1 * Thu Feb 01 2024 Jerry James <[email protected]> - 9.2.0-1 - Version 9.2.0 - Add patch to fix an LTO type mismatch * Mon Jan 22 2024 Jerry James <[email protected]> - 9.0.4-4 - Add patch for zlib-ng * Sun Jan 21 2024 Fedora Release Engineering <[email protected]> - 9.0.4-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 16 2024 Jerry James <[email protected]> - 9.0.4-3 - Update License tags * Fri Jul 21 2023 Fedora Release Engineering <[email protected]> - 9.0.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Jul 14 2023 Jerry James <[email protected]> - 9.0.4-2 - Update deprecated %patchN usage - Update License tag with names recently added to Fedora - Drop 32-bit ARM support * Mon Feb 27 2023 Jerry James <[email protected]> - 9.0.4-2 - Dynamically generate python BuildRequires * Tue Jan 31 2023 Tom Callaway <[email protected]> - 9.0.4-2 - enable docs on aarch64 * Fri Jan 27 2023 Jerry James <[email protected]> - 9.0.4-1 - Version 9.0.4 - Drop upstreamed C99 patch - Use a Unicode locale while testing to avoid a failed test - Disable tests on ppc64le until we can diagnose 1 failed test - Disable docs on aarch until bz 2165146 is fixed * Fri Jan 20 2023 Fedora Release Engineering <[email protected]> - 9.0.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Jan 10 2023 Florian Weimer <[email protected]> - 9.0.3-2 - Fix C99 compatibility issues in CMake checks * Sun Dec 18 2022 Jerry James <[email protected]> - 9.0.3-1 - Version 9.0.3 * Thu Dec 15 2022 Jerry James <[email protected]> - 9.0.2-1 - Version 9.0.2 - Convert License tag to SPDX (with some licenses pending review) - Add %check script for 64-bit architectures
/usr/bin/swipl /usr/bin/swipl-ld /usr/lib/.build-id /usr/lib/.build-id/03 /usr/lib/.build-id/03/d9ee20cd1d5b41f3b2b7e463dd9cb2b6c6f3aa /usr/lib/.build-id/57 /usr/lib/.build-id/57/bf7b855770ca598ced2f3494fff01e40b6c5a7 /usr/lib/.build-id/f3 /usr/lib/.build-id/f3/65c3c544700ed524c9b0785888874a86e9311c /usr/lib64/cmake/swipl /usr/lib64/cmake/swipl/SWIPLConfig.cmake /usr/lib64/cmake/swipl/SWIPLConfigVersion.cmake /usr/lib64/cmake/swipl/SWIPLTargets-release.cmake /usr/lib64/cmake/swipl/SWIPLTargets.cmake /usr/lib64/libswipl.so /usr/lib64/libswipl.so.9 /usr/lib64/libswipl.so.9.2.7 /usr/lib64/swipl /usr/lib64/swipl/bin /usr/lib64/swipl/bin/ppc64le-linux /usr/lib64/swipl/bin/ppc64le-linux/swipl /usr/lib64/swipl/bin/ppc64le-linux/swipl-ld /usr/lib64/swipl/bin/swipl.home /usr/lib64/swipl/boot /usr/lib64/swipl/boot.prc /usr/lib64/swipl/boot/apply.pl /usr/lib64/swipl/boot/attvar.pl /usr/lib64/swipl/boot/autoload.pl /usr/lib64/swipl/boot/bags.pl /usr/lib64/swipl/boot/dcg.pl /usr/lib64/swipl/boot/dicts.pl /usr/lib64/swipl/boot/dwim.pl /usr/lib64/swipl/boot/engines.pl /usr/lib64/swipl/boot/expand.pl /usr/lib64/swipl/boot/gc.pl /usr/lib64/swipl/boot/history.pl /usr/lib64/swipl/boot/init.pl /usr/lib64/swipl/boot/iri.pl /usr/lib64/swipl/boot/license.pl /usr/lib64/swipl/boot/load.pl /usr/lib64/swipl/boot/messages.pl /usr/lib64/swipl/boot/packs.pl /usr/lib64/swipl/boot/predopts.pl /usr/lib64/swipl/boot/qlf.pl /usr/lib64/swipl/boot/rc.pl /usr/lib64/swipl/boot/syspred.pl /usr/lib64/swipl/boot/tabling.pl /usr/lib64/swipl/boot/toplevel.pl /usr/lib64/swipl/boot/topvars.pl /usr/lib64/swipl/cmake /usr/lib64/swipl/cmake/swipl.cmake /usr/lib64/swipl/customize /usr/lib64/swipl/customize/edit /usr/lib64/swipl/customize/init.pl /usr/lib64/swipl/demo /usr/lib64/swipl/demo/README.md /usr/lib64/swipl/demo/likes.pl /usr/lib64/swipl/include /usr/lib64/swipl/include/SWI-Prolog.h /usr/lib64/swipl/include/SWI-Stream.h /usr/lib64/swipl/include/Yap /usr/lib64/swipl/include/Yap/YapInterface.h /usr/lib64/swipl/include/sicstus /usr/lib64/swipl/include/sicstus/sicstus.h /usr/lib64/swipl/library /usr/lib64/swipl/library/INDEX.pl /usr/lib64/swipl/library/aggregate.pl /usr/lib64/swipl/library/ansi_term.pl /usr/lib64/swipl/library/apply.pl /usr/lib64/swipl/library/apply_macros.pl /usr/lib64/swipl/library/arithmetic.pl /usr/lib64/swipl/library/assoc.pl /usr/lib64/swipl/library/atom.pl /usr/lib64/swipl/library/backcomp.pl /usr/lib64/swipl/library/base32.pl /usr/lib64/swipl/library/base64.pl /usr/lib64/swipl/library/broadcast.pl /usr/lib64/swipl/library/build /usr/lib64/swipl/library/build/cmake.pl /usr/lib64/swipl/library/build/conan.pl /usr/lib64/swipl/library/build/make.pl /usr/lib64/swipl/library/build/tools.pl /usr/lib64/swipl/library/charsio.pl /usr/lib64/swipl/library/check.pl /usr/lib64/swipl/library/check_installation.pl /usr/lib64/swipl/library/checklast.pl /usr/lib64/swipl/library/checkselect.pl /usr/lib64/swipl/library/clp /usr/lib64/swipl/library/clp/INDEX.pl /usr/lib64/swipl/library/clp/bounds.pl /usr/lib64/swipl/library/clp/clp_distinct.pl /usr/lib64/swipl/library/clp/clp_events.pl /usr/lib64/swipl/library/clp/clpb.pl /usr/lib64/swipl/library/clp/clpfd.pl /usr/lib64/swipl/library/clp/simplex.pl /usr/lib64/swipl/library/codesio.pl /usr/lib64/swipl/library/coinduction.pl /usr/lib64/swipl/library/console_input.pl /usr/lib64/swipl/library/csv.pl /usr/lib64/swipl/library/ctypes.pl /usr/lib64/swipl/library/date.pl /usr/lib64/swipl/library/dcg /usr/lib64/swipl/library/dcg/INDEX.pl /usr/lib64/swipl/library/dcg/basics.pl /usr/lib64/swipl/library/dcg/high_order.pl /usr/lib64/swipl/library/debug.pl /usr/lib64/swipl/library/dialect /usr/lib64/swipl/library/dialect.pl /usr/lib64/swipl/library/dialect/bim.pl /usr/lib64/swipl/library/dialect/commons.pl /usr/lib64/swipl/library/dialect/eclipse /usr/lib64/swipl/library/dialect/eclipse/test_util_iso.pl /usr/lib64/swipl/library/dialect/hprolog /usr/lib64/swipl/library/dialect/hprolog.pl /usr/lib64/swipl/library/dialect/hprolog/format.pl /usr/lib64/swipl/library/dialect/ifprolog.pl /usr/lib64/swipl/library/dialect/iso /usr/lib64/swipl/library/dialect/iso/iso_predicates.pl /usr/lib64/swipl/library/dialect/sicstus /usr/lib64/swipl/library/dialect/sicstus.pl /usr/lib64/swipl/library/dialect/sicstus/README.TXT /usr/lib64/swipl/library/dialect/sicstus/arrays.pl /usr/lib64/swipl/library/dialect/sicstus/block.pl /usr/lib64/swipl/library/dialect/sicstus/lists.pl /usr/lib64/swipl/library/dialect/sicstus/ordsets.pl /usr/lib64/swipl/library/dialect/sicstus/sockets.pl /usr/lib64/swipl/library/dialect/sicstus/swipl-lfr.pl /usr/lib64/swipl/library/dialect/sicstus/system.pl /usr/lib64/swipl/library/dialect/sicstus/terms.pl /usr/lib64/swipl/library/dialect/sicstus/timeout.pl /usr/lib64/swipl/library/dialect/sicstus4 /usr/lib64/swipl/library/dialect/sicstus4.pl /usr/lib64/swipl/library/dialect/sicstus4/aggregate.pl /usr/lib64/swipl/library/dialect/sicstus4/between.pl /usr/lib64/swipl/library/dialect/sicstus4/clpfd.pl /usr/lib64/swipl/library/dialect/sicstus4/file_systems.pl /usr/lib64/swipl/library/dialect/sicstus4/lists.pl /usr/lib64/swipl/library/dialect/sicstus4/ordsets.pl /usr/lib64/swipl/library/dialect/sicstus4/samsort.pl /usr/lib64/swipl/library/dialect/sicstus4/sets.pl /usr/lib64/swipl/library/dialect/sicstus4/sockets.pl /usr/lib64/swipl/library/dialect/sicstus4/system.pl /usr/lib64/swipl/library/dialect/sicstus4/terms.pl /usr/lib64/swipl/library/dialect/sicstus4/timeout.pl /usr/lib64/swipl/library/dialect/sicstus4/types.pl /usr/lib64/swipl/library/dialect/swi /usr/lib64/swipl/library/dialect/swi/syspred_options.pl /usr/lib64/swipl/library/dialect/xsb /usr/lib64/swipl/library/dialect/xsb.pl /usr/lib64/swipl/library/dialect/xsb/README.md /usr/lib64/swipl/library/dialect/xsb/basics.pl /usr/lib64/swipl/library/dialect/xsb/consult.pl /usr/lib64/swipl/library/dialect/xsb/curr_sym.pl /usr/lib64/swipl/library/dialect/xsb/error_handler.pl /usr/lib64/swipl/library/dialect/xsb/gensym.pl /usr/lib64/swipl/library/dialect/xsb/gpp.pl /usr/lib64/swipl/library/dialect/xsb/intern.pl /usr/lib64/swipl/library/dialect/xsb/lists.pl /usr/lib64/swipl/library/dialect/xsb/machine.pl /usr/lib64/swipl/library/dialect/xsb/ordsets.pl /usr/lib64/swipl/library/dialect/xsb/setof.pl /usr/lib64/swipl/library/dialect/xsb/source.pl /usr/lib64/swipl/library/dialect/xsb/standard.pl /usr/lib64/swipl/library/dialect/xsb/storage.pl /usr/lib64/swipl/library/dialect/xsb/string.pl /usr/lib64/swipl/library/dialect/xsb/thread.pl /usr/lib64/swipl/library/dialect/xsb/timed_call.pl /usr/lib64/swipl/library/dialect/yap /usr/lib64/swipl/library/dialect/yap.pl /usr/lib64/swipl/library/dialect/yap/README.TXT /usr/lib64/swipl/library/dicts.pl /usr/lib64/swipl/library/dif.pl /usr/lib64/swipl/library/edinburgh.pl /usr/lib64/swipl/library/edit.pl /usr/lib64/swipl/library/error.pl /usr/lib64/swipl/library/explain.pl /usr/lib64/swipl/library/fastrw.pl /usr/lib64/swipl/library/files.pl /usr/lib64/swipl/library/gensym.pl /usr/lib64/swipl/library/git.pl /usr/lib64/swipl/library/hashtable.pl /usr/lib64/swipl/library/heaps.pl /usr/lib64/swipl/library/help.pl /usr/lib64/swipl/library/hotfix.pl /usr/lib64/swipl/library/increval.pl /usr/lib64/swipl/library/intercept.pl /usr/lib64/swipl/library/iostream.pl /usr/lib64/swipl/library/iri_scheme /usr/lib64/swipl/library/iri_scheme/file.pl /usr/lib64/swipl/library/lazy_lists.pl /usr/lib64/swipl/library/listing.pl /usr/lib64/swipl/library/lists.pl /usr/lib64/swipl/library/lynx /usr/lib64/swipl/library/lynx/INDEX.pl /usr/lib64/swipl/library/lynx/format.pl /usr/lib64/swipl/library/lynx/html_style.pl /usr/lib64/swipl/library/lynx/html_text.pl /usr/lib64/swipl/library/lynx/pldoc_style.pl /usr/lib64/swipl/library/macros.pl /usr/lib64/swipl/library/main.pl /usr/lib64/swipl/library/make.pl /usr/lib64/swipl/library/modules.pl /usr/lib64/swipl/library/nb_rbtrees.pl /usr/lib64/swipl/library/nb_set.pl /usr/lib64/swipl/library/obfuscate.pl /usr/lib64/swipl/library/occurs.pl /usr/lib64/swipl/library/operators.pl /usr/lib64/swipl/library/option.pl /usr/lib64/swipl/library/optparse.pl /usr/lib64/swipl/library/ordsets.pl /usr/lib64/swipl/library/oset.pl /usr/lib64/swipl/library/pairs.pl /usr/lib64/swipl/library/persistency.pl /usr/lib64/swipl/library/pio.pl /usr/lib64/swipl/library/portray_text.pl /usr/lib64/swipl/library/pprint.pl /usr/lib64/swipl/library/predicate_options.pl /usr/lib64/swipl/library/prolog_autoload.pl /usr/lib64/swipl/library/prolog_breakpoints.pl /usr/lib64/swipl/library/prolog_clause.pl /usr/lib64/swipl/library/prolog_code.pl /usr/lib64/swipl/library/prolog_codewalk.pl /usr/lib64/swipl/library/prolog_colour.pl /usr/lib64/swipl/library/prolog_colour.qlf /usr/lib64/swipl/library/prolog_config.pl /usr/lib64/swipl/library/prolog_coverage.pl /usr/lib64/swipl/library/prolog_debug.pl /usr/lib64/swipl/library/prolog_deps.pl /usr/lib64/swipl/library/prolog_evaluable.pl /usr/lib64/swipl/library/prolog_format.pl /usr/lib64/swipl/library/prolog_history.pl /usr/lib64/swipl/library/prolog_jiti.pl /usr/lib64/swipl/library/prolog_metainference.pl /usr/lib64/swipl/library/prolog_pack.pl /usr/lib64/swipl/library/prolog_profile.pl /usr/lib64/swipl/library/prolog_source.pl /usr/lib64/swipl/library/prolog_stack.pl /usr/lib64/swipl/library/prolog_trace.pl /usr/lib64/swipl/library/prolog_versions.pl /usr/lib64/swipl/library/prolog_wrap.pl /usr/lib64/swipl/library/prolog_xref.pl /usr/lib64/swipl/library/prolog_xref.qlf /usr/lib64/swipl/library/pure_input.pl /usr/lib64/swipl/library/qpforeign.pl /usr/lib64/swipl/library/qsave.pl /usr/lib64/swipl/library/quasi_quotations.pl /usr/lib64/swipl/library/quintus.pl /usr/lib64/swipl/library/random.pl /usr/lib64/swipl/library/rbtrees.pl /usr/lib64/swipl/library/readln.pl /usr/lib64/swipl/library/readutil.pl /usr/lib64/swipl/library/record.pl /usr/lib64/swipl/library/rwlocks.pl /usr/lib64/swipl/library/sandbox.pl /usr/lib64/swipl/library/settings.pl /usr/lib64/swipl/library/shell.pl /usr/lib64/swipl/library/shlib.pl /usr/lib64/swipl/library/solution_sequences.pl /usr/lib64/swipl/library/sort.pl /usr/lib64/swipl/library/statistics.pl /usr/lib64/swipl/library/streams.pl /usr/lib64/swipl/library/strings.pl /usr/lib64/swipl/library/system.pl /usr/lib64/swipl/library/tables.pl /usr/lib64/swipl/library/tabling.pl /usr/lib64/swipl/library/terms.pl /usr/lib64/swipl/library/theme /usr/lib64/swipl/library/theme/auto.pl /usr/lib64/swipl/library/theme/dark.pl /usr/lib64/swipl/library/thread.pl /usr/lib64/swipl/library/thread_pool.pl /usr/lib64/swipl/library/threadutil.pl /usr/lib64/swipl/library/tty.pl /usr/lib64/swipl/library/ugraphs.pl /usr/lib64/swipl/library/unicode /usr/lib64/swipl/library/unicode/INDEX.pl /usr/lib64/swipl/library/unicode/blocks.pl /usr/lib64/swipl/library/unicode/unicode_data.pl /usr/lib64/swipl/library/url.pl /usr/lib64/swipl/library/utf8.pl /usr/lib64/swipl/library/varnumbers.pl /usr/lib64/swipl/library/vm.pl /usr/lib64/swipl/library/wfs.pl /usr/lib64/swipl/library/when.pl /usr/lib64/swipl/library/win_menu.pl /usr/lib64/swipl/library/writef.pl /usr/lib64/swipl/library/www_browser.pl /usr/lib64/swipl/library/yall.pl /usr/lib64/swipl/library/zip.pl /usr/lib64/swipl/swipl.home /usr/share/doc/swi-prolog-core /usr/share/doc/swi-prolog-core/README-customize.md /usr/share/doc/swi-prolog-core/README.md /usr/share/info/sweep.info.gz /usr/share/licenses/swi-prolog-core /usr/share/licenses/swi-prolog-core/LICENSE /usr/share/man/man1/swipl-ld.1.gz /usr/share/man/man1/swipl.1.gz /usr/share/pkgconfig/swipl.pc
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Oct 27 05:57:41 2024