Information for RPM flint-devel-2.5.2-26.fc31.riscv64.rpm
ID | 387498 | ||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | flint-devel | ||||||||||||||||||||||||||||||||||
Version | 2.5.2 | ||||||||||||||||||||||||||||||||||
Release | 26.fc31 | ||||||||||||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||||||||||||||
Summary | Development files for FLINT | ||||||||||||||||||||||||||||||||||
Description | The flint-devel package contains libraries and header files for developing applications that use flint. | ||||||||||||||||||||||||||||||||||
Build Time | 2019-07-25 03:18:51 GMT | ||||||||||||||||||||||||||||||||||
Size | 2.37 MB | ||||||||||||||||||||||||||||||||||
bd6739c6f86f1c6889ee6236c43fcb9d | |||||||||||||||||||||||||||||||||||
License | GPLv2+ | ||||||||||||||||||||||||||||||||||
Buildroot | f31-build-51760-27523 | ||||||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||||||
Component of |
|