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 <<< 51 through 100 of 2594 >>> Name Size /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Algebra/Solver 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Algebra/Solver/CommutativeMonoid 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Algebra/Solver/IdempotentCommutativeMonoid 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Algebra/Solver/Ring 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Algebra/Solver/Ring/NaturalCoefficients 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Algebra/Structures 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Axiom 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Axiom/Extensionality 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Axiom/UniquenessOfIdentityProofs 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Category 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Category/Applicative 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Category/Functor 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Category/Monad 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Category/Monad/Partiality 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Cofin 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Colist 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Conat 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Covec 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Cowriter 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Delay 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/M 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Musical 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Musical/Colist 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Musical/Colist/Relation 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Musical/Colist/Relation/Unary 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Musical/Colist/Relation/Unary/All 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Musical/Colist/Relation/Unary/Any 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Musical/Conat 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Musical/M 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Codata/Stream 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Bool 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/BoundedVec 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Char 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container/Combinator 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container/Fixpoints 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container/Indexed 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container/Indexed/Fixpoints 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container/Morphism 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container/Relation 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container/Relation/Binary 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container/Relation/Binary/Equality 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container/Relation/Binary/Pointwise 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container/Relation/Unary 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Container/Relation/Unary/Any 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Digit 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Empty 0.00 B /usr/share/Agda-stdlib/_build/2.6.4/agda/src/Data/Fin 0.00 B
Component of	No Buildroots