swi-prolog-core (9.2.9+dfsg-1.1build1)

2 versions available in ubuntu/resolute/universe/riscv64

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-resolute-ports
Repository
https://ports.ubuntu.com
Codename
resolute
Component
universe
Source
swi-prolog
Architecture
riscv64
Section
universe/interpreters
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
5.8 MB
Size expected
1.6 MB
Size actual
1.6 MB
Size match
match

Dependencies

Required package dependencies

Recommends

Recommended package dependencies

Suggested packages

Recommended additional packages

Description

ISO/Edinburgh-style Prolog interpreter - core system

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5a4423fa7…b2ea03e9match
SHA-1a9c59ec9…5fb0e4fdmatch
SHA-2561f58b51f…860ed89bmatch
SHA-5121680051e…2063fb0ematch

Contents

Files and directories included

.
usr
usr/bin
usr/lib
usr/lib/cmake
usr/lib/cmake/swipl
usr/lib/cmake/swipl/SWIPLConfig.cmake
usr/lib/cmake/swipl/SWIPLConfigVersion.cmake
usr/lib/cmake/swipl/SWIPLTargets-deb.cmake
usr/lib/cmake/swipl/SWIPLTargets.cmake
usr/lib/riscv64-linux-gnu
usr/lib/riscv64-linux-gnu/libswipl.so.9.2.9
usr/lib/swi-prolog
usr/lib/swi-prolog/app
usr/lib/swi-prolog/app/README.md
usr/lib/swi-prolog/app/app.pl
usr/lib/swi-prolog/app/pack.pl
usr/lib/swi-prolog/app/qlf.pl
usr/lib/swi-prolog/bin
usr/lib/swi-prolog/bin/riscv64-linux
usr/lib/swi-prolog/bin/riscv64-linux/swipl
usr/lib/swi-prolog/bin/riscv64-linux/swipl-ld
usr/lib/swi-prolog/bin/swipl.home
usr/lib/swi-prolog/boot
usr/lib/swi-prolog/boot/apply.pl
usr/lib/swi-prolog/boot/attvar.pl
usr/lib/swi-prolog/boot/autoload.pl
usr/lib/swi-prolog/boot/bags.pl
usr/lib/swi-prolog/boot/dcg.pl
usr/lib/swi-prolog/boot/dicts.pl
usr/lib/swi-prolog/boot/dwim.pl
usr/lib/swi-prolog/boot/engines.pl
usr/lib/swi-prolog/boot/expand.pl
usr/lib/swi-prolog/boot/gc.pl
usr/lib/swi-prolog/boot/history.pl
usr/lib/swi-prolog/boot/init.pl
usr/lib/swi-prolog/boot/iri.pl
usr/lib/swi-prolog/boot/license.pl
usr/lib/swi-prolog/boot/load.pl
usr/lib/swi-prolog/boot/messages.pl
usr/lib/swi-prolog/boot/packs.pl
usr/lib/swi-prolog/boot/predopts.pl
usr/lib/swi-prolog/boot/qlf.pl
usr/lib/swi-prolog/boot/rc.pl
usr/lib/swi-prolog/boot/syspred.pl
usr/lib/swi-prolog/boot/tabling.pl
usr/lib/swi-prolog/boot/toplevel.pl
usr/lib/swi-prolog/boot/topvars.pl
usr/lib/swi-prolog/boot.prc
usr/lib/swi-prolog/cmake
usr/lib/swi-prolog/cmake/swipl.cmake
usr/lib/swi-prolog/customize
usr/lib/swi-prolog/customize/README.md
usr/lib/swi-prolog/customize/edit
usr/lib/swi-prolog/customize/init.pl
usr/lib/swi-prolog/demo
usr/lib/swi-prolog/demo/README.md
usr/lib/swi-prolog/demo/likes.pl
usr/lib/swi-prolog/include
usr/lib/swi-prolog/include/SWI-Prolog.h
usr/lib/swi-prolog/include/SWI-Stream.h
usr/lib/swi-prolog/include/Yap
usr/lib/swi-prolog/include/Yap/YapInterface.h
usr/lib/swi-prolog/include/sicstus
usr/lib/swi-prolog/include/sicstus/sicstus.h
usr/lib/swi-prolog/library
usr/lib/swi-prolog/library/aggregate.pl
usr/lib/swi-prolog/library/ansi_term.pl
usr/lib/swi-prolog/library/apply.pl
usr/lib/swi-prolog/library/apply_macros.pl
usr/lib/swi-prolog/library/arithmetic.pl
usr/lib/swi-prolog/library/assoc.pl
usr/lib/swi-prolog/library/atom.pl
usr/lib/swi-prolog/library/backcomp.pl
usr/lib/swi-prolog/library/base32.pl
usr/lib/swi-prolog/library/base64.pl
usr/lib/swi-prolog/library/broadcast.pl
usr/lib/swi-prolog/library/build
usr/lib/swi-prolog/library/build/cmake.pl
usr/lib/swi-prolog/library/build/conan.pl
usr/lib/swi-prolog/library/build/make.pl
usr/lib/swi-prolog/library/build/tools.pl
usr/lib/swi-prolog/library/charsio.pl
usr/lib/swi-prolog/library/check.pl
usr/lib/swi-prolog/library/check_installation.pl
usr/lib/swi-prolog/library/checklast.pl
usr/lib/swi-prolog/library/checkselect.pl
usr/lib/swi-prolog/library/clp
usr/lib/swi-prolog/library/clp/INDEX.pl
usr/lib/swi-prolog/library/clp/bounds.pl
usr/lib/swi-prolog/library/clp/clp_distinct.pl
usr/lib/swi-prolog/library/clp/clp_events.pl
usr/lib/swi-prolog/library/clp/clpb.pl
usr/lib/swi-prolog/library/clp/clpfd.pl
usr/lib/swi-prolog/library/clp/simplex.pl
usr/lib/swi-prolog/library/codesio.pl
usr/lib/swi-prolog/library/coinduction.pl
usr/lib/swi-prolog/library/console_input.pl
usr/lib/swi-prolog/library/csv.pl
usr/lib/swi-prolog/library/ctypes.pl
usr/lib/swi-prolog/library/date.pl
usr/lib/swi-prolog/library/dcg
usr/lib/swi-prolog/library/dcg/INDEX.pl
usr/lib/swi-prolog/library/dcg/basics.pl
usr/lib/swi-prolog/library/dcg/high_order.pl
usr/lib/swi-prolog/library/debug.pl
usr/lib/swi-prolog/library/dialect
usr/lib/swi-prolog/library/dialect/bim.pl
usr/lib/swi-prolog/library/dialect/commons.pl
usr/lib/swi-prolog/library/dialect/eclipse
usr/lib/swi-prolog/library/dialect/eclipse/test_util_iso.pl
usr/lib/swi-prolog/library/dialect/hprolog
usr/lib/swi-prolog/library/dialect/hprolog/format.pl
usr/lib/swi-prolog/library/dialect/hprolog.pl
usr/lib/swi-prolog/library/dialect/ifprolog.pl
usr/lib/swi-prolog/library/dialect/iso
usr/lib/swi-prolog/library/dialect/iso/iso_predicates.pl
usr/lib/swi-prolog/library/dialect/sicstus
usr/lib/swi-prolog/library/dialect/sicstus/README.TXT
usr/lib/swi-prolog/library/dialect/sicstus/arrays.pl
usr/lib/swi-prolog/library/dialect/sicstus/block.pl
usr/lib/swi-prolog/library/dialect/sicstus/lists.pl
usr/lib/swi-prolog/library/dialect/sicstus/ordsets.pl
usr/lib/swi-prolog/library/dialect/sicstus/sockets.pl
usr/lib/swi-prolog/library/dialect/sicstus/swipl-lfr.pl
usr/lib/swi-prolog/library/dialect/sicstus/system.pl
usr/lib/swi-prolog/library/dialect/sicstus/terms.pl
usr/lib/swi-prolog/library/dialect/sicstus/timeout.pl
usr/lib/swi-prolog/library/dialect/sicstus.pl
usr/lib/swi-prolog/library/dialect/sicstus4
usr/lib/swi-prolog/library/dialect/sicstus4/aggregate.pl
usr/lib/swi-prolog/library/dialect/sicstus4/between.pl
usr/lib/swi-prolog/library/dialect/sicstus4/clpfd.pl
usr/lib/swi-prolog/library/dialect/sicstus4/file_systems.pl
usr/lib/swi-prolog/library/dialect/sicstus4/lists.pl
usr/lib/swi-prolog/library/dialect/sicstus4/ordsets.pl
usr/lib/swi-prolog/library/dialect/sicstus4/samsort.pl
usr/lib/swi-prolog/library/dialect/sicstus4/sets.pl
usr/lib/swi-prolog/library/dialect/sicstus4/sockets.pl
usr/lib/swi-prolog/library/dialect/sicstus4/system.pl
usr/lib/swi-prolog/library/dialect/sicstus4/terms.pl
usr/lib/swi-prolog/library/dialect/sicstus4/timeout.pl
usr/lib/swi-prolog/library/dialect/sicstus4/types.pl
usr/lib/swi-prolog/library/dialect/sicstus4.pl
usr/lib/swi-prolog/library/dialect/swi
usr/lib/swi-prolog/library/dialect/swi/syspred_options.pl
usr/lib/swi-prolog/library/dialect/xsb
usr/lib/swi-prolog/library/dialect/xsb/README.md
usr/lib/swi-prolog/library/dialect/xsb/basics.pl
usr/lib/swi-prolog/library/dialect/xsb/consult.pl
usr/lib/swi-prolog/library/dialect/xsb/curr_sym.pl
usr/lib/swi-prolog/library/dialect/xsb/error_handler.pl
usr/lib/swi-prolog/library/dialect/xsb/gensym.pl
usr/lib/swi-prolog/library/dialect/xsb/gpp.pl
usr/lib/swi-prolog/library/dialect/xsb/intern.pl
usr/lib/swi-prolog/library/dialect/xsb/lists.pl
usr/lib/swi-prolog/library/dialect/xsb/machine.pl
usr/lib/swi-prolog/library/dialect/xsb/ordsets.pl
usr/lib/swi-prolog/library/dialect/xsb/setof.pl
usr/lib/swi-prolog/library/dialect/xsb/source.pl
usr/lib/swi-prolog/library/dialect/xsb/standard.pl
usr/lib/swi-prolog/library/dialect/xsb/storage.pl
usr/lib/swi-prolog/library/dialect/xsb/string.pl
usr/lib/swi-prolog/library/dialect/xsb/thread.pl
usr/lib/swi-prolog/library/dialect/xsb/timed_call.pl
usr/lib/swi-prolog/library/dialect/xsb.pl
usr/lib/swi-prolog/library/dialect/yap
usr/lib/swi-prolog/library/dialect/yap/README.TXT
usr/lib/swi-prolog/library/dialect/yap.pl
usr/lib/swi-prolog/library/dialect.pl
usr/lib/swi-prolog/library/dicts.pl
usr/lib/swi-prolog/library/dif.pl
usr/lib/swi-prolog/library/edinburgh.pl
usr/lib/swi-prolog/library/edit.pl
usr/lib/swi-prolog/library/error.pl
usr/lib/swi-prolog/library/explain.pl
usr/lib/swi-prolog/library/fastrw.pl
usr/lib/swi-prolog/library/files.pl
usr/lib/swi-prolog/library/gensym.pl
usr/lib/swi-prolog/library/git.pl
usr/lib/swi-prolog/library/hashtable.pl
usr/lib/swi-prolog/library/heaps.pl
usr/lib/swi-prolog/library/help.pl
usr/lib/swi-prolog/library/hotfix.pl
usr/lib/swi-prolog/library/increval.pl
usr/lib/swi-prolog/library/intercept.pl
usr/lib/swi-prolog/library/iostream.pl
usr/lib/swi-prolog/library/iri_scheme
usr/lib/swi-prolog/library/iri_scheme/file.pl
usr/lib/swi-prolog/library/lazy_lists.pl
usr/lib/swi-prolog/library/listing.pl
usr/lib/swi-prolog/library/lists.pl
usr/lib/swi-prolog/library/lynx
usr/lib/swi-prolog/library/lynx/INDEX.pl
usr/lib/swi-prolog/library/lynx/format.pl
usr/lib/swi-prolog/library/lynx/html_style.pl
usr/lib/swi-prolog/library/lynx/html_text.pl
usr/lib/swi-prolog/library/lynx/pldoc_style.pl
usr/lib/swi-prolog/library/macros.pl
usr/lib/swi-prolog/library/main.pl
usr/lib/swi-prolog/library/make.pl
usr/lib/swi-prolog/library/modules.pl
usr/lib/swi-prolog/library/nb_rbtrees.pl
usr/lib/swi-prolog/library/nb_set.pl
usr/lib/swi-prolog/library/obfuscate.pl
usr/lib/swi-prolog/library/occurs.pl
usr/lib/swi-prolog/library/operators.pl
usr/lib/swi-prolog/library/option.pl
usr/lib/swi-prolog/library/optparse.pl
usr/lib/swi-prolog/library/ordsets.pl
usr/lib/swi-prolog/library/oset.pl
usr/lib/swi-prolog/library/pairs.pl
usr/lib/swi-prolog/library/persistency.pl
usr/lib/swi-prolog/library/pio.pl
usr/lib/swi-prolog/library/portray_text.pl
usr/lib/swi-prolog/library/pprint.pl
usr/lib/swi-prolog/library/predicate_options.pl
usr/lib/swi-prolog/library/prolog_autoload.pl
usr/lib/swi-prolog/library/prolog_breakpoints.pl
usr/lib/swi-prolog/library/prolog_clause.pl
usr/lib/swi-prolog/library/prolog_code.pl
usr/lib/swi-prolog/library/prolog_codewalk.pl
usr/lib/swi-prolog/library/prolog_colour.pl
usr/lib/swi-prolog/library/prolog_colour.qlf
usr/lib/swi-prolog/library/prolog_config.pl
usr/lib/swi-prolog/library/prolog_coverage.pl
usr/lib/swi-prolog/library/prolog_debug.pl
usr/lib/swi-prolog/library/prolog_deps.pl
usr/lib/swi-prolog/library/prolog_evaluable.pl
usr/lib/swi-prolog/library/prolog_format.pl
usr/lib/swi-prolog/library/prolog_history.pl
usr/lib/swi-prolog/library/prolog_jiti.pl
usr/lib/swi-prolog/library/prolog_metainference.pl
usr/lib/swi-prolog/library/prolog_pack.pl
usr/lib/swi-prolog/library/prolog_profile.pl
usr/lib/swi-prolog/library/prolog_source.pl
usr/lib/swi-prolog/library/prolog_stack.pl
usr/lib/swi-prolog/library/prolog_trace.pl
usr/lib/swi-prolog/library/prolog_versions.pl
usr/lib/swi-prolog/library/prolog_wrap.pl
usr/lib/swi-prolog/library/prolog_xref.pl
usr/lib/swi-prolog/library/prolog_xref.qlf
usr/lib/swi-prolog/library/pure_input.pl
usr/lib/swi-prolog/library/qpforeign.pl
usr/lib/swi-prolog/library/qsave.pl
usr/lib/swi-prolog/library/quasi_quotations.pl
usr/lib/swi-prolog/library/quintus.pl
usr/lib/swi-prolog/library/random.pl
usr/lib/swi-prolog/library/rbtrees.pl
usr/lib/swi-prolog/library/readln.pl
usr/lib/swi-prolog/library/readutil.pl
usr/lib/swi-prolog/library/record.pl
usr/lib/swi-prolog/library/rwlocks.pl
usr/lib/swi-prolog/library/sandbox.pl
usr/lib/swi-prolog/library/settings.pl
usr/lib/swi-prolog/library/shell.pl
usr/lib/swi-prolog/library/shlib.pl
usr/lib/swi-prolog/library/solution_sequences.pl
usr/lib/swi-prolog/library/sort.pl
usr/lib/swi-prolog/library/statistics.pl
usr/lib/swi-prolog/library/streams.pl
usr/lib/swi-prolog/library/strings.pl
usr/lib/swi-prolog/library/system.pl
usr/lib/swi-prolog/library/tables.pl
usr/lib/swi-prolog/library/tabling.pl
usr/lib/swi-prolog/library/terms.pl
usr/lib/swi-prolog/library/theme
usr/lib/swi-prolog/library/theme/auto.pl
usr/lib/swi-prolog/library/theme/dark.pl
usr/lib/swi-prolog/library/thread.pl
usr/lib/swi-prolog/library/thread_pool.pl
usr/lib/swi-prolog/library/threadutil.pl
usr/lib/swi-prolog/library/tty.pl
usr/lib/swi-prolog/library/ugraphs.pl
usr/lib/swi-prolog/library/unicode
usr/lib/swi-prolog/library/unicode/INDEX.pl
usr/lib/swi-prolog/library/unicode/blocks.pl
usr/lib/swi-prolog/library/unicode/unicode_data.pl
usr/lib/swi-prolog/library/url.pl
usr/lib/swi-prolog/library/utf8.pl
usr/lib/swi-prolog/library/varnumbers.pl
usr/lib/swi-prolog/library/vm.pl
usr/lib/swi-prolog/library/wfs.pl
usr/lib/swi-prolog/library/when.pl
usr/lib/swi-prolog/library/writef.pl
usr/lib/swi-prolog/library/www_browser.pl
usr/lib/swi-prolog/library/yall.pl
usr/lib/swi-prolog/library/zip.pl
usr/lib/swi-prolog/swipl.home
usr/share
usr/share/doc
usr/share/doc/swi-prolog-core
usr/share/doc/swi-prolog-core/NEWS.Debian.gz
usr/share/doc/swi-prolog-core/changelog.Debian.gz
usr/share/doc/swi-prolog-core/copyright
usr/share/lintian
usr/share/lintian/overrides
usr/share/lintian/overrides/swi-prolog-core
usr/share/man
usr/share/man/man1
usr/share/man/man1/swipl-ld.1.gz
usr/share/man/man1/swipl.1.gz
usr/share/menu
usr/share/menu/swi-prolog-core
usr/share/pkgconfig
usr/share/pkgconfig/swipl.pc
usr/bin/swipl
usr/bin/swipl-ld
usr/lib/riscv64-linux-gnu/libswipl.so
usr/lib/riscv64-linux-gnu/libswipl.so.9

Versions

2 versions in this repository slot, newest first