Main Site Links:

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

Information for RPM Agda-stdlib-1.7.3-1.fc40.noarch.rpm

ID	1100683
Name	Agda-stdlib
Version	1.7.3
Release	1.fc40
Epoch
Arch	noarch
Summary	Agda standard libraries
Description	Agda standard libraries
Build Time	2023-10-17 06:44:09 GMT
Size	122.61 MB
SIGMD5	e6aec3244ec64ada0de1457c3cb38269
License	MIT
Provides	Agda-stdlib = 1.7.3-1.fc40 agda-stdlib = 1.7.3-1.fc40
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.4 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 41 42 43 44 45 46 47 48 49 50 51 52 1 through 50 of 2594 >>> Name Size /usr/share/Agda-stdlib 0.00 B /usr/share/Agda-stdlib/_build 0.00 B /usr/share/Agda-stdlib/_build/2.6.4 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/Everything.agdai 2.79 MB /usr/share/Agda-stdlib/_build/2.6.4/agda/EverythingSafe.agdai 2.18 MB /usr/share/Agda-stdlib/_build/2.6.4/agda/README 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README.agdai 794.54 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Axiom.agdai 16.03 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Case.agdai 108.22 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data.agdai 502.03 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Container 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Container/FreeMonad.agdai 72.24 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Container/Indexed.agdai 87.27 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Integer.agdai 89.86 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List.agdai 145.52 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Fresh.agdai 56.17 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Membership.agdai 64.19 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Relation 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Relation/Binary 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Relation/Binary/Equality.agdai 144.32 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Relation/Binary/Permutation.agdai 98.87 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Relation/Binary/Pointwise.agdai 45.10 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Relation/Binary/Subset.agdai 49.50 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Relation/Ternary 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Relation/Ternary/Interleaving.agdai 100.99 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Relation/Unary 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Relation/Unary/All.agdai 95.39 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/List/Relation/Unary/Any.agdai 92.99 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Nat 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Nat.agdai 90.36 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Nat/Induction.agdai 64.96 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Record.agdai 78.41 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Tree 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Tree/AVL.agdai 193.20 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Trie 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Trie/NonDependent.agdai 154.69 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Data/Wrap.agdai 338.02 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Debug 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Debug/Trace.agdai 32.25 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Design 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Design/Decidability.agdai 202.58 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Design/Hierarchies.agdai 117.78 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Foreign 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Foreign/Haskell.agdai 105.81 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Function 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/README/Function/Reasoning.agdai 89.76 KB /usr/share/Agda-stdlib/_build/2.6.4/agda/README/IO.agdai 67.91 KB
Component of	No Buildroots