Tue, 15 Jun 2021 04:22:38 UTC

Information for RPM Agda-stdlib-0.15-1.fc28.x86_64.rpm

ID14549877
NameAgda-stdlib
Version0.15
Release1.fc28
Epoch
Archx86_64
Summary
Description
Build Time2018-07-09 10:58:11 GMT
Statedeleted
Size21,553,284
ee3a6381c4bd76b83b99960e7b28430a
License
Buildrootf28-build-12945570-945667
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