Information for RPM flint-devel-3.1.2-2.fc41.riscv64.rpm
ID | 1435355 | |||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | flint-devel | |||||||||||||||||||||
Version | 3.1.2 | |||||||||||||||||||||
Release | 2.fc41 | |||||||||||||||||||||
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 | 2024-08-15 13:59:42 GMT | |||||||||||||||||||||
Size | 2.04 MB | |||||||||||||||||||||
af88569cdc50f72a026a0d315cb03678 | ||||||||||||||||||||||
License | LGPL-3.0-or-later AND LGPL-2.1-or-later AND GPL-2.0-or-later AND (LGPL-3.0-or-later OR GPL-2.0-or-later) AND BSD-2-Clause | |||||||||||||||||||||
git:https://github.com/flintlib/flint.git | ||||||||||||||||||||||
Buildroot | f41-build-842286-161573 | |||||||||||||||||||||
Provides |
|
|||||||||||||||||||||
Obsoletes |
|
|||||||||||||||||||||
Conflicts | No Conflicts | |||||||||||||||||||||
Requires |
|
|||||||||||||||||||||
Recommends | No Recommends | |||||||||||||||||||||
Suggests | No Suggests | |||||||||||||||||||||
Supplements | No Supplements | |||||||||||||||||||||
Enhances | No Enhances | |||||||||||||||||||||
Files | ||||||||||||||||||||||
Component of |
|