Thu, 24 Jun 2021 22:51:27 UTC

Information for RPM Agda-stdlib-1.3-4.fc33.src.rpm

ID22996628
NameAgda-stdlib
Version1.3
Release4.fc33
Epoch
Archsrc
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2020-08-25 16:02:23 GMT
Size761,527
d49fa323da9dc3b8e4521038802b7217
LicenseMIT
Buildrootf33-build-22380656-1976282
Provides
Agda-stdlib = 1.3-4.fc33
Agda-stdlib-docs = 1.3-4.fc33
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,832
agda-stdlib-1.3.tar.gz751,412
Component of No Buildroots