Fri, 18 Jun 2021 20:40:29 UTC

Information for RPM Agda-stdlib-0.9-3.fc24.src.rpm

ID7263855
NameAgda-stdlib
Version0.9
Release3.fc24
Epoch
Archsrc
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2016-02-03 15:23:06 GMT
Size269,340
1d8c01cf1fd092559e211e6f4fa6fa06
LicenseMIT
Buildrootf24-build-4906577-577762
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
Agda
ghc-Cabal-devel
ghc-rpm-macros-extra
ghc-unix-compat-devel
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 3 of 3
Name ascending sort Size
Agda-stdlib.spec4,079
agda-stdlib-0.9.tar.gz248,895
filemanip-0.3.6.3.tar.gz10,369
Component of No Buildroots