Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM ppl-swiprolog-static-1.2-8.fc30.riscv64.rpm

ID	308198
Name	ppl-swiprolog-static
Version	1.2
Release	8.fc30
Epoch
Arch	riscv64
Summary	The static archive for the SWI-Prolog interface of the Parma Polyhedra Library
Description	This package contains the static archive for the SWI-Prolog interface of the Parma Polyhedra Library.
Build Time	2018-12-07 08:46:52 GMT
Size	10.24 MB
SIGMD5	df942b516f718f2361b3bc3dff56eda1
License	GPLv3+
Buildroot	f30-build-36950-20982
Provides	ppl-swiprolog-static = 1.2-8.fc30 ppl-swiprolog-static(riscv-64) = 1.2-8.fc30
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	ppl-swiprolog(riscv-64) = 1.2-8.fc30 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsXz) <= 5.2-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 1 of 1 Name Size /usr/lib64/ppl/libppl_swiprolog.a 115.43 MB
Component of	No Buildroots