Sun, 13 Jun 2021 11:25:24 UTC

Information for RPM Agda-stdlib-1.1-2.fc32.src.rpm

ID20150790
NameAgda-stdlib
Version1.1
Release2.fc32
Epoch
Archsrc
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2020-01-28 09:13:35 GMT
Size579,728
f4abe4f86b7717fabbb6536f4c10e3eb
LicenseMIT
Buildrootf32-build-19245786-1345205
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
Agda
ghc-Cabal-devel
ghc-filemanip-devel
ghc-rpm-macros
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 2 of 2
Name ascending sort Size
Agda-stdlib.spec5,384
agda-stdlib-1.1.tar.gz570,106
Component of No Buildroots