Main Site Links:

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

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

ID	1144353
Name	Agda-stdlib
Version	1.7.3
Release	2.fc40
Epoch
Arch	noarch
Summary	Agda standard libraries
Description	Agda standard libraries
Build Time	2023-12-08 02:44:13 GMT
Size	122.91 MB
SIGMD5	74ea29eaaeedbd951da3a6ec3c3f02cb
License	MIT
Provides	Agda-stdlib = 1.7.3-2.fc40 agda-stdlib = 1.7.3-2.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.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 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.1 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Data 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Data/Container 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Data/List 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Data/List/Relation 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Data/List/Relation/Binary 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Data/List/Relation/Ternary 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Data/List/Relation/Unary 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Data/Nat 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Data/Tree 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Data/Trie 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Debug 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Design 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Foreign 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Function 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Tactic 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/README/Text 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Consequences 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Construct 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Construct/LexProduct 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Construct/NaturalChoice 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Construct/Subst 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Definitions 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Module 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Module/Construct 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Module/Definitions 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Module/Structures 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Morphism 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Operations 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/BooleanAlgebra 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/CommutativeMagma 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/CommutativeMonoid 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/CommutativeMonoid/Mult 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/CommutativeSemigroup 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/CommutativeSemiring 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/CommutativeSemiring/Exp 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/Magma 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/Monoid 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/Monoid/Mult 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/Semigroup 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/Semiring 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/Semiring/Exp 0.00 B /usr/share/Agda-stdlib/_build/2.6.4.1/agda/src/Algebra/Properties/Semiring/Mult 0.00 B
Component of	No Buildroots