Tue, 15 Jun 2021 11:03:02 UTC

Information for RPM Agda-stdlib-0.15-4.fc28.src.rpm

ID15260253
NameAgda-stdlib
Version0.15
Release4.fc28
Epoch
Archsrc
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2018-08-29 04:32:10 GMT
Size321,631
8aff5935362a1ff1158fdbf36ccd4b30
LicenseMIT
Buildrootf28-build-13563353-984532
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.spec4,585
agda-stdlib-0.15.tar.gz310,617
Component of No Buildroots