Tue, 22 Jun 2021 16:41:10 UTC

Information for RPM Agda-stdlib-0.15-3.fc30.s390x.rpm

ID15206899
NameAgda-stdlib
Version0.15
Release3.fc30
Epoch
Archs390x
Summary
Description
Build Time2018-08-22 21:16:10 GMT
Statedeleted
Size20,962,420
e72908e63d6151253bcb8b814d7ab1a4
License
Buildrootf30-build-13502804-980570
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires No Requires
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files No Files
Component of No Buildroots