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 <<< 201 through 250 of 1952 >>> Name Size /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL.agdai 185.27 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/Height.agdai 28.38 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/Indexed 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/Indexed.agdai 305.43 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/Indexed/WithK.agdai 90.79 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/IndexedMap.agdai 148.37 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/Key.agdai 81.60 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/Map.agdai 93.46 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/NonEmpty 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/NonEmpty.agdai 174.69 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/NonEmpty/Propositional.agdai 72.51 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/Sets.agdai 125.28 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/AVL/Value.agdai 96.10 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Bool 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Bool.agdai 72.21 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Bool/Base.agdai 14.41 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Bool/Properties.agdai 372.75 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Bool/Show.agdai 13.99 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Bool/Solver.agdai 102.20 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/BoundedVec 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/BoundedVec.agdai 75.04 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/BoundedVec/Inefficient.agdai 33.34 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Char 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Char.agdai 13.19 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Char/Base.agdai 106.29 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Char/Properties.agdai 178.94 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container.agdai 33.64 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Combinator 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Combinator.agdai 77.91 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Combinator/Properties.agdai 139.11 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Core.agdai 59.98 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/FreeMonad.agdai 53.67 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Indexed 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Indexed.agdai 163.31 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Indexed/Combinator.agdai 226.41 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Indexed/Core.agdai 45.60 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Indexed/FreeMonad.agdai 111.68 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Indexed/WithK.agdai 187.79 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Membership.agdai 30.12 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Morphism 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Morphism.agdai 54.58 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Morphism/Properties.agdai 130.09 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Properties.agdai 96.31 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Related.agdai 69.69 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation/Binary 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation/Binary/Equality 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation/Binary/Equality/Setoid.agdai 63.89 KB /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/Container/Relation/Binary/Pointwise 0.00 B
Component of	No Buildroots