SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

swi-prolog-nox rpm build for : Rawhide. For other distributions click swi-prolog-nox.

Name : swi-prolog-nox
Version : 9.2.9 Vendor : Fedora Project
Release : 4.fc42 Date : 2025-01-18 19:43:20
Group : Unspecified Source RPM : pl-9.2.9-4.fc42.src.rpm
Size : 0.68 MB
Packager : Fedora Project
Summary : ISO/Edinburgh-style Prolog interpreter - without X support
Description :
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 a SWI-Prolog installation without GUI components.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/os/Packages/s

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
libedit4pl.so()(64bit)
swi-prolog-nox
swi-prolog-nox(x86-64)

Requires :
libarchive.so.13()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
libcrypto.so.3()(64bit)
libcrypto.so.3(OPENSSL_3.0.0)(64bit)
libedit.so.0()(64bit)
libpcre2-8.so.0()(64bit)
libreadline.so.8()(64bit)
libssl.so.3()(64bit)
libssl.so.3(OPENSSL_3.0.0)(64bit)
libyaml-0.so.2()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
swi-prolog-core(x86-64) = 9.2.9-4.fc42
swi-prolog-core-packages(x86-64) = 9.2.9-4.fc42


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/2ef3ea153ffaaef06639b1a6e4699ed77f071d
/usr/lib/.build-id/7a
/usr/lib/.build-id/7a/b06e20707ffaaf32c664bea78f726e78fb5a7c
/usr/lib/.build-id/a1/90fc0318e002cee5b8f201b9b9220dde4f276a
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/f50bfbb372659f3629c832b5fb6b4450f5f248
/usr/lib/.build-id/c5
/usr/lib/.build-id/c5/6dd772b6b58f396befa9384e9ce1efe653907c
/usr/lib/.build-id/ca
/usr/lib/.build-id/ca/03b0759a2f9ff4abedb85217587fec8ffc90c0
/usr/lib/.build-id/ca/3ba5fd973c991fcc77dcf7c4b6e41ff9e4e894
/usr/lib/.build-id/e2
/usr/lib/.build-id/e2/f2501bc152b9a8264b9322cc00965ab33a6517
/usr/lib64/swipl/app
/usr/lib64/swipl/app/README.md
/usr/lib64/swipl/app/app.pl
/usr/lib64/swipl/app/latex2html.pl
/usr/lib64/swipl/app/mqi.pl
/usr/lib64/swipl/app/pack.pl
/usr/lib64/swipl/app/qlf.pl
/usr/lib64/swipl/lib/x86_64-linux/archive4pl.so
/usr/lib64/swipl/lib/x86_64-linux/crypto4pl.so
/usr/lib64/swipl/lib/x86_64-linux/libedit4pl.so
/usr/lib64/swipl/lib/x86_64-linux/pcre4pl.so
/usr/lib64/swipl/lib/x86_64-linux/readline4pl.so
/usr/lib64/swipl/lib/x86_64-linux/ssl4pl.so
/usr/lib64/swipl/lib/x86_64-linux/tipc.so
/usr/lib64/swipl/lib/x86_64-linux/yaml4pl.so
There is 32 files more in these RPM.

 
ICM