Wed, 15 May 2024 00:52:59 UTC | login

Information for RPM libsemigroups-devel-0.6.2-1.fc28.riscv64.rpm

ID29783
Namelibsemigroups-devel
Version0.6.2
Release1.fc28
Epoch
Archriscv64
SummaryHeaders files for developing with libsemigroups
DescriptionHeader files for developing applications that use libsemigroups.
Build Time2018-03-12 03:10:01 GMT
Size52.55 KB
3ef9768e61249a4771dde48cb6007e7d
LicenseGPLv3+
Provides
libsemigroups-devel = 0.6.2-1.fc28
libsemigroups-devel(riscv-64) = 0.6.2-1.fc28
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libsemigroups(riscv-64) = 0.6.2-1.fc28
libsemigroups.so.0()(64bit)
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 16 of 16
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.46 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.07 KB
/usr/include/libsemigroups/report.h8.76 KB
/usr/include/libsemigroups/rws.h28.45 KB
/usr/include/libsemigroups/rwse.h6.45 KB
/usr/include/libsemigroups/semigroups.h50.66 KB
/usr/include/libsemigroups/semiring.h12.32 KB
/usr/include/libsemigroups/timer.h3.63 KB
/usr/include/libsemigroups/uf.h2.07 KB
/usr/lib64/libsemigroups.so22.00 B
Component of No Buildroots