Information for RPM idris-static-1.3.4-1.oc9.x86_64.rpm

ID221637
Nameidris-static
Version1.3.4
Release1.oc9
Epoch
Archx86_64
SummaryIdris RTS
DescriptionThis package provides the Idris RTS.
Build Time2024-08-05 05:35:00 GMT
Size61.69 KB
1ffa9d33deaa6c8b5ca5e3ec19479668
LicenseBSD-3-Clause
Buildrootdist-oc9-epol-build-92311-59299
Provides
idris-static = 1.3.4-1.oc9
idris-static(x86-64) = 1.3.4-1.oc9
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
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 1 of 1
Name ascending sort Size
/usr/lib64/libidris_rts.a303.26 KB
Component of No Buildroots