Information for RPM clingo-devel-5.4.0-4.fc33.riscv64.rpm
ID | 712114 | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | clingo-devel | ||||||||||||||||||||||||
Version | 5.4.0 | ||||||||||||||||||||||||
Release | 4.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-08-16 03:24:09 GMT | ||||||||||||||||||||||||
Size | 59.52 KB | ||||||||||||||||||||||||
8cb9efb03fdb16fe852974d41688499e | |||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||
Buildroot | f33-build-311157-57406 | ||||||||||||||||||||||||
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 |