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

ID221643
Nameidris-static
Version1.3.4
Release1.oc9
Epoch
Archaarch64
SummaryIdris RTS
DescriptionThis package provides the Idris RTS.
Build Time2024-08-05 05:36:12 GMT
Size62.57 KB
d6e617e36e08b81744639490f8916000
LicenseBSD-3-Clause
Buildrootdist-oc9-epol-build-92309-59299
Provides
idris-static = 1.3.4-1.oc9
idris-static(aarch-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.a333.32 KB
Component of No Buildroots