Information for RPM clingo-devel-5.4.0-2.fc33.riscv64.rpm
ID | 574299 | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | clingo-devel | ||||||||||||||||||||||||
Version | 5.4.0 | ||||||||||||||||||||||||
Release | 2.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-03-28 17:31:59 GMT | ||||||||||||||||||||||||
Size | 59.17 KB | ||||||||||||||||||||||||
0d51b5e7e0d3fa9b7723a9bf6e5048ee | |||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||
Buildroot | f33-build-138335-42159 | ||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||
Component of | No Buildroots |