Thu, 16 May 2024 04:26:41 UTC | login

Information for RPM libsemigroups-devel-0.6.7-1.fc31.riscv64.rpm

ID394162
Namelibsemigroups-devel
Version0.6.7
Release1.fc31
Epoch
Archriscv64
SummaryHeaders files for developing with libsemigroups
DescriptionHeader files for developing applications that use libsemigroups.
Build Time2019-07-27 18:07:41 GMT
Size50.34 KB
ac1bb30938b4a7069b928eb1400dede8
LicenseGPLv3+
Buildrootf31-build-59561-28580
Provides
libsemigroups-devel = 0.6.7-1.fc31
libsemigroups-devel(riscv-64) = 0.6.7-1.fc31
pkgconfig(libsemigroups) = 0.6.7
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
/usr/bin/pkg-config
libsemigroups(riscv-64) = 0.6.7-1.fc31
libsemigroups.so.0()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 17 of 17
Name ascending sort Size
/usr/include/libsemigroups0.00 B
/usr/include/libsemigroups/blocks.h8.33 KB
/usr/include/libsemigroups/cong.h26.32 KB
/usr/include/libsemigroups/elements.h57.41 KB
/usr/include/libsemigroups/libsemigroups-config.h6.04 KB
/usr/include/libsemigroups/libsemigroups-debug.h1.10 KB
/usr/include/libsemigroups/partition.h3.55 KB
/usr/include/libsemigroups/recvec.h20.17 KB
/usr/include/libsemigroups/report.h8.88 KB
/usr/include/libsemigroups/rws.h28.51 KB
/usr/include/libsemigroups/rwse.h6.45 KB
/usr/include/libsemigroups/semigroups.h51.32 KB
/usr/include/libsemigroups/semiring.h12.32 KB
/usr/include/libsemigroups/timer.h3.65 KB
/usr/include/libsemigroups/uf.h2.07 KB
/usr/lib64/libsemigroups.so22.00 B
/usr/lib64/pkgconfig/libsemigroups.pc214.00 B
Component of No Buildroots