Information for RPM clingo-devel-5.6.2-1.fc38.riscv64.rpm
ID | 1003557 | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | clingo-devel | ||||||||||||||||||||
Version | 5.6.2 | ||||||||||||||||||||
Release | 1.fc38 | ||||||||||||||||||||
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 | 2023-05-12 11:55:31 GMT | ||||||||||||||||||||
Size | 59.25 KB | ||||||||||||||||||||
4b97a01e2bac1a550eecbf45d41fd974 | |||||||||||||||||||||
License | MIT | ||||||||||||||||||||
Buildroot | f38-build-711066-93578 | ||||||||||||||||||||
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 |