Main Site Links:

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

Information for RPM clingo-devel-5.4.0-3.fc33.riscv64.rpm

ID	620106
Name	clingo-devel
Version	5.4.0
Release	3.fc33
Epoch
Arch	riscv64
Summary	Development files for clingo
Description	The clingo-devel package contains libraries and header files for developing applications that use clingo.
Build Time	2020-06-04 04:44:31 GMT
Size	59.36 KB
SIGMD5	4ce9fc1af269152d4f3b4a5badb81fc9
License	MIT
Buildroot	f33-build-229801-50021
Provides	clingo-devel = 5.4.0-3.fc33 clingo-devel(riscv-64) = 5.4.0-3.fc33 cmake(Clingo) = 5.4.0 cmake(clingo) = 5.4.0
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	clingo(riscv-64) = 5.4.0-3.fc33 cmake-filesystem(riscv-64) libclingo.so.3()(64bit) libluaclingo.so.1()(64bit) libpyclingo.so.1()(64bit) rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 10 of 10 Name Size /usr/include/clingo.h 150.58 KB /usr/include/clingo.hh 180.43 KB /usr/lib64/cmake/Clingo 0.00 B /usr/lib64/cmake/Clingo/ClingoConfig.cmake 1.31 KB /usr/lib64/cmake/Clingo/ClingoConfigVersion.cmake 1.68 KB /usr/lib64/cmake/Clingo/ClingoTargets-release.cmake 813.00 B /usr/lib64/cmake/Clingo/ClingoTargets.cmake 3.51 KB /usr/lib64/libclingo.so 14.00 B /usr/lib64/libluaclingo.so 17.00 B /usr/lib64/libpyclingo.so 16.00 B
Component of	No Buildroots