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 1 through 50 of 1952 >>> Name Size /usr/share/Agda-stdlib 0.00 B /usr/share/Agda-stdlib/_build 0.00 B /usr/share/Agda-stdlib/_build/2.6.1 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/README 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Container 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/List 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Nat 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Trie 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/README/Debug 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/README/Foreign 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/README/Function 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/README/Tactic 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/README/Text 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Consequences 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Construct 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Construct/NaturalChoice 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/FunctionProperties 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/FunctionProperties/Consequences 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Module 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Module/Construct 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Module/Definitions 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Module/Structures 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Morphism 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Operations 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Properties 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Properties/BooleanAlgebra 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Solver 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Solver/CommutativeMonoid 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Solver/IdempotentCommutativeMonoid 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Solver/Ring 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Solver/Ring/NaturalCoefficients 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Structures 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Axiom 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Axiom/Extensionality 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Axiom/UniquenessOfIdentityProofs 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Category 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Category/Applicative 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Category/Functor 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Category/Monad 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Category/Monad/Partiality 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Cofin 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Colist 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Conat 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Covec 0.00 B /usr/share/Agda-stdlib/_build/2.6.1/agda/src/Codata/Cowriter 0.00 B
Component of	No Buildroots