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 <<< 251 through 300 of 1952 >>> Name Size /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation/Binary/Pointwise.agdai 119.13 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation/Binary/Pointwise/Properties.agdai 75.69 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation/Unary 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation/Unary/All.agdai 85.18 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation/Unary/Any 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation/Unary/Any.agdai 85.73 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation/Unary/Any/Properties.agdai 395.31 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/DifferenceList.agdai 77.87 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/DifferenceNat.agdai 57.55 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/DifferenceVec.agdai 78.24 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Digit.agdai 255.95 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Empty 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Empty.agdai 4.29 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Empty/Irrelevant.agdai 4.37 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Empty/Polymorphic.agdai 12.09 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Erased.agdai 20.04 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin.agdai 80.31 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Base.agdai 150.44 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Induction.agdai 49.26 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Literals.agdai 27.63 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Patterns.agdai 12.17 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Permutation 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Permutation.agdai 145.51 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Permutation/Components.agdai 131.67 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Properties.agdai 442.51 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Reflection.agdai 46.56 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Subset 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Subset.agdai 192.18 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Subset/Induction.agdai 53.18 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Subset/Properties.agdai 665.04 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Substitution 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Substitution.agdai 157.46 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Substitution/Example.agdai 152.34 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Substitution/Lemmas.agdai 688.67 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Fin/Substitution/List.agdai 166.54 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Float 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Float.agdai 14.86 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Float/Base.agdai 56.65 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Float/Properties.agdai 87.66 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Graph 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Graph/Acyclic.agdai 258.76 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Integer 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Integer.agdai 55.99 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Integer/Base.agdai 141.87 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Integer/Coprimality.agdai 153.72 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Integer/DivMod.agdai 265.75 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Integer/Divisibility 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Integer/Divisibility.agdai 219.93 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Integer/Divisibility/Signed.agdai 285.99 KB
Component of	No Buildroots