Main Site Links:

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

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

ID	646275
Name	Agda-stdlib
Version	1.3
Release	3.fc33
Epoch
Arch	noarch
Summary	Agda standard libraries
Description	Agda standard libraries
Build Time	2020-07-27 10:20:42 GMT
Size	624.76 KB
SIGMD5	e6ed7fd229390aa23095310af198391d
License	MIT
Provides	Agda-stdlib = 1.3-3.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 <<< 101 through 150 of 1039 >>> Name Size /usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecPropositional 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecSetoid 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Heterogeneous 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional/Example 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Setoid 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Subset 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Subset/Propositional 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Subset/Setoid 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Suffix 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Suffix/Heterogeneous 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Equality 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Lex 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Permutation 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Permutation/Inductive 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Sublist 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Sublist/Propositional 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Subset 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Subset/Propositional 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Subset/Setoid 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Ternary 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Propositional 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Setoid 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Unary 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Unary/All 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Unary/AllPairs 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Any 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Unary/First 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Grouped 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Linked 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/Propositional 0.00 B /usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/Setoid 0.00 B /usr/share/Agda-stdlib/src/Data/List/Zipper 0.00 B /usr/share/Agda-stdlib/src/Data/Maybe 0.00 B /usr/share/Agda-stdlib/src/Data/Maybe/Relation 0.00 B /usr/share/Agda-stdlib/src/Data/Maybe/Relation/Binary 0.00 B /usr/share/Agda-stdlib/src/Data/Maybe/Relation/Unary 0.00 B /usr/share/Agda-stdlib/src/Data/Maybe/Relation/Unary/All 0.00 B /usr/share/Agda-stdlib/src/Data/Nat 0.00 B /usr/share/Agda-stdlib/src/Data/Nat/Binary 0.00 B /usr/share/Agda-stdlib/src/Data/Nat/DivMod 0.00 B /usr/share/Agda-stdlib/src/Data/Nat/Divisibility 0.00 B /usr/share/Agda-stdlib/src/Data/Nat/GCD 0.00 B /usr/share/Agda-stdlib/src/Data/Nat/Tactic 0.00 B /usr/share/Agda-stdlib/src/Data/Product 0.00 B /usr/share/Agda-stdlib/src/Data/Product/Categorical 0.00 B /usr/share/Agda-stdlib/src/Data/Product/Categorical/Left 0.00 B /usr/share/Agda-stdlib/src/Data/Product/Categorical/Right 0.00 B
Component of	No Buildroots