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 <<< 51 through 100 of 1952 >>> Name Size /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/M 0.00 B /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/Colist 0.00 B /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/Stream 0.00 B /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 /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/NonEmpty 0.00 B /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/BoundedVec 0.00 B /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/Container 0.00 B /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/Indexed 0.00 B /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/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/Pointwise 0.00 B /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/Any 0.00 B /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/Fin 0.00 B /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/Subset 0.00 B /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/Float 0.00 B /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/Integer 0.00 B /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/Tactic 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Extrema 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Fresh 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Fresh/Membership 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Fresh/Membership/Setoid 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Fresh/Relation 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Fresh/Relation/Unary 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Fresh/Relation/Unary/All 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Fresh/Relation/Unary/Any 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Kleene 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Membership 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Membership/Propositional 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Membership/Propositional/Properties 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Membership/Setoid 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/NonEmpty 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary 0.00 B
Component of	No Buildroots