INFO
Name: pl-devel
Version: 8.4.3-4.el9
Arch: ppc64le
Summary: Development files for SWI Prolog
License: (GPLv2+ with exceptions or Artistic 2.0) and (GPL+ or Artistic) and (BSD or GPL+) and TCL and UCD and MIT and BSD and Public Domain
Vendor: Fedora Project
Build Host: buildvm-ppc64le-40.iad2.fedoraproject.org
Build Date: Thu Aug 25 18:39:09 2022
Size: 118570
URL: https://www.swi-prolog.org/
Description: Development files for SWI Prolog.
FILES
/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/swipl-8.4.3/include
/usr/lib64/swipl-8.4.3/include/SWI-Prolog.h
/usr/lib64/swipl-8.4.3/include/SWI-Stream.h
/usr/lib64/swipl-8.4.3/include/SWI-cpp.h
/usr/lib64/swipl-8.4.3/include/sicstus
/usr/lib64/swipl-8.4.3/include/sicstus/sicstus.h
/usr/lib64/swipl-8.4.3/lib/ppc64le-linux/libswipl.so
/usr/share/pkgconfig/swipl.pc
REQUIRES
/usr/bin/pkg-config
cmake-filesystem(ppc-64)
gcc
libswipl.so.8()(64bit)
pkgconfig(ppc-64)
pl(ppc-64) 8.4.3-4.el9
readline-devel(ppc-64)
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
PROVIDES
cmake(SWIPL) 8.4.3
cmake(swipl) 8.4.3
pkgconfig(swipl) 8.4.3
pl-devel 8.4.3-4.el9
pl-devel(ppc-64) 8.4.3-4.el9
CONFIG FILES
/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/swipl-8.4.3/include
/usr/lib64/swipl-8.4.3/include/SWI-Prolog.h
/usr/lib64/swipl-8.4.3/include/SWI-Stream.h
/usr/lib64/swipl-8.4.3/include/SWI-cpp.h
/usr/lib64/swipl-8.4.3/include/sicstus
/usr/lib64/swipl-8.4.3/include/sicstus/sicstus.h
/usr/lib64/swipl-8.4.3/lib/ppc64le-linux/libswipl.so
/usr/share/pkgconfig/swipl.pc
LICENSE FILES
(GPLv2+ with exceptions or Artistic 2.0) and (GPL+ or Artistic) and (BSD or GPL+) and TCL and UCD and MIT and BSD and Public Domain
|
