Development files for clingo
62.11 KB
built 2026-10-12 20:29:49 GMT
Description
The clingo-devel package contains libraries and header files for
developing applications that use clingo.
Dependencies
11 totalRequires7
- clingo(riscv-64) = 5.8.2-1.fc45
- cmake-filesystem(riscv-64)
- libclingo.so.4()(64bit)
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsZstd) <= 5.4.18-1
Provides4
- clingo-devel = 5.8.2-1.fc45
- clingo-devel(riscv-64) = 5.8.2-1.fc45
- cmake(Clingo) = 5.8.2
- cmake(clingo) = 5.8.2
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
8Name  |
Size |
|---|---|
| /usr/include/clingo.h | 198.32 KB |
| /usr/include/clingo.hh | 171.80 KB |
| /usr/lib64/cmake/Clingo | 0.00 B |
| /usr/lib64/cmake/Clingo/ClingoConfig.cmake | 1.36 KB |
| /usr/lib64/cmake/Clingo/ClingoConfigVersion.cmake | 2.70 KB |
| /usr/lib64/cmake/Clingo/ClingoTargets-release.cmake | 825.00 B |
| /usr/lib64/cmake/Clingo/ClingoTargets.cmake | 4.35 KB |
| /usr/lib64/libclingo.so | 14.00 B |
Files 1–8 of 8
Component of
buildroots that installed this RPMNo Buildroots