SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

swi-prolog-devel rpm build for : openSUSE Leap 15. For other distributions click swi-prolog-devel.

Name : swi-prolog-devel
Version : 8.5.13 Vendor : obs://build_opensuse_org/home:ymarkovitch
Release : lp155.3.110 Date : 2024-10-12 17:57:27
Group : Development/Languages/Other Source RPM : swipl-8.5.13-lp155.3.110.src.rpm
Size : 0.54 MB
Packager : https://www_suse_com/
Summary : Development files for SWI Prolog
Description :
Development files for the SWI Prolog library.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/ymarkovitch/openSUSE_Leap_15.5/x86_64

Content of RPM  Changelog  Provides Requires

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

Provides :
cmake(SWIPL)
pkgconfig(swipl)
swi-prolog-devel
swi-prolog-devel(x86-64)

Requires :
/usr/bin/pkg-config
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
swi-prolog = 8.5.13


Content of RPM :
/usr/lib64/cmake/swipl
/usr/lib64/cmake/swipl/SWIPLConfig.cmake
/usr/lib64/cmake/swipl/SWIPLConfigVersion.cmake
/usr/lib64/cmake/swipl/SWIPLTargets-relwithdebinfo.cmake
/usr/lib64/cmake/swipl/SWIPLTargets.cmake
/usr/lib64/libswipl.so
/usr/lib64/swipl/cmake
/usr/lib64/swipl/cmake/swipl.cmake
/usr/lib64/swipl/include
/usr/lib64/swipl/include/SWI-Prolog.h
/usr/lib64/swipl/include/SWI-Stream.h
/usr/lib64/swipl/include/SWI-cpp.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/share/pkgconfig/swipl.pc
/usr/share/swipl/doc/packages/examples
/usr/share/swipl/doc/packages/examples/chr
/usr/share/swipl/doc/packages/examples/chr/bool.chr
/usr/share/swipl/doc/packages/examples/chr/chrdif.chr
/usr/share/swipl/doc/packages/examples/chr/chrfreeze.chr
/usr/share/swipl/doc/packages/examples/chr/family.chr
/usr/share/swipl/doc/packages/examples/chr/fib.chr
/usr/share/swipl/doc/packages/examples/chr/fibonacci.chr
/usr/share/swipl/doc/packages/examples/chr/gcd.chr
/usr/share/swipl/doc/packages/examples/chr/leq.chr
/usr/share/swipl/doc/packages/examples/chr/listdom.chr
/usr/share/swipl/doc/packages/examples/chr/primes.chr
/usr/share/swipl/doc/packages/examples/cpp
There is 170 files more in these RPM.

 
ICM