Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

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

ID	727044
Name	Agda-stdlib
Version	1.3
Release	4.fc33
Epoch
Arch	noarch
Summary	Agda standard libraries
Description	Agda standard libraries
Build Time	2020-08-25 16:04:05 GMT
Size	77.23 MB
SIGMD5	42c6c99ea70ca0b05046fec328e34a22
License	MIT
Provides	Agda-stdlib = 1.3-4.fc33
Obsoletes	ghc-agda-lib-ffi < 0.0.2-6 ghc-agda-lib-ffi-devel < 0.0.2-6
Conflicts	No Conflicts
Requires	Agda = 2.6.1 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	Page: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 <<< 151 through 200 of 1952 >>> Name Size /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Cofin.agdai 88.60 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Cofin/Literals.agdai 24.41 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Colist 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Colist.agdai 189.73 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Colist/Bisimilarity.agdai 146.06 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Colist/Categorical.agdai 22.39 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Colist/Properties.agdai 321.27 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Conat 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Conat.agdai 47.24 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Conat/Bisimilarity.agdai 87.13 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Conat/Literals.agdai 14.06 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Conat/Properties.agdai 114.88 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Covec 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Covec.agdai 121.34 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Covec/Bisimilarity.agdai 106.87 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Covec/Categorical.agdai 21.70 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Covec/Properties.agdai 79.71 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Cowriter 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Cowriter.agdai 164.85 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Cowriter/Bisimilarity.agdai 133.67 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Delay 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Delay.agdai 131.00 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Delay/Bisimilarity.agdai 96.63 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Delay/Categorical.agdai 75.09 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Delay/Properties.agdai 103.58 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/M 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/M.agdai 40.25 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/M/Bisimilarity.agdai 126.02 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/M/Properties.agdai 116.54 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/Cofin.agdai 82.54 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/Colist 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/Colist.agdai 456.37 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/Colist/Infinite-merge.agdai 269.20 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/Conat.agdai 130.64 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/Costring.agdai 69.94 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/Covec.agdai 216.11 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/M 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/M.agdai 47.68 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/M/Indexed.agdai 81.39 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/Notation.agdai 6.43 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Musical/Stream.agdai 168.50 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Stream 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Stream.agdai 99.86 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Stream/Bisimilarity.agdai 134.25 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Stream/Categorical.agdai 65.95 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Stream/Properties.agdai 177.14 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Thunk.agdai 36.60 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL 0.00 B
Component of	No Buildroots