Sun, 13 Jun 2021 09:47:12 UTC

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

ID22210942
NameAgda-stdlib
Version1.3
Release2.fc33
Epoch
Archsrc
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2020-07-21 05:03:41 GMT
Size761,265
20b1b0ea5ffc63f741e4e6cddc8b3dc1
LicenseMIT
Buildrootf33-build-side-25385-21675963-1751301
Provides
Agda-stdlib = 1.3-2.fc33
Agda-stdlib-docs = 1.3-2.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,492
agda-stdlib-1.3.tar.gz751,412
Component of No Buildroots