Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM gmp-devel-6.3.0-4.ocs23.rva23.riscv64.rpm

ID	289150
Name	gmp-devel
Version	6.3.0
Release	4.ocs23.rva23
Epoch
Arch	riscv64
Summary	Development files for gmp
Description	Libraries, header files and documentation for developing applications with gmp.
Build Time	2025-11-13 01:16:18 GMT
Size	173.42 KB
SIGMD5	db55eddca445623a60c66cc84b8ee20c
License	LGPLv3+ or GPLv2+
Buildroot	dist-ocs23-riscv-rva23-build-331051-35812
Provides	gmp-devel = 6.3.0-4.ocs23.rva23 gmp-devel(riscv-64) = 6.3.0-4.ocs23.rva23 pkgconfig(gmp) = 6.3.0 pkgconfig(gmpxx) = 6.3.0
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	/usr/bin/pkg-config gmp = 6.3.0-4.ocs23.rva23 gmp-c++ = 6.3.0-4.ocs23.rva23 libgmp.so.10()(64bit) libgmpxx.so.4()(64bit) pkgconfig(gmp) rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsXz) <= 5.2-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 9 of 9 Name Size /usr/include/gmp.h 82.55 KB /usr/include/gmpxx.h 126.47 KB /usr/lib64/libgmp.so 16.00 B /usr/lib64/libgmpxx.so 13.00 B /usr/lib64/pkgconfig/gmp.pc 227.00 B /usr/lib64/pkgconfig/gmpxx.pc 262.00 B /usr/share/info/gmp.info-1.gz 83.14 KB /usr/share/info/gmp.info-2.gz 49.07 KB /usr/share/info/gmp.info.gz 2.33 KB
Component of	No Buildroots