Fedora 44 native package

Agda-stdlib

Agda standard libraries

Packages / Fedora 44 / Unspecified / Agda-stdlib

[Source: Agda-stdlib]

Package: Agda-stdlib (2.3-4.fc44)

External Resources:

Homepage: [wiki.portal.chalmers.se]

Similar packages:

[Agda-stdlib-docs]
Agda standard libraries documentation

Agda standard libraries

Other Packages Related to Agda-stdlib:

dep: [Agda] (= 2.8.0)
A dependently typed functional programming language and proof assistant

Download Agda-stdlib

Architecture	Package Size	Installed Size	Files
noarch	151 MiB	191 MiB	[list of files]

Percorsi file del pacchetto (3,129)

Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.

/usr/share/Agda-stdlib
/usr/share/Agda-stdlib/_build
/usr/share/Agda-stdlib/_build/2.8.0
/usr/share/Agda-stdlib/_build/2.8.0/agda
/usr/share/Agda-stdlib/_build/2.8.0/agda/Everything.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/EverythingSafe.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties/HeytingCommutativeRing.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Structures.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles/Raw.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Base.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add/Identity.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/DirectProduct.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Flip
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Flip/Op.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Initial.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/LexProduct
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/LexProduct.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/LexProduct/Base.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/LexProduct/Inner.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/LiftedChoice.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/Base.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/Max.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/MaxOp.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/Min.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/MinMaxOp.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/MinOp.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Pointwise.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Subst
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Subst/Equality.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Terminal.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Zero.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Core.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Definitions
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Definitions/RawMagma.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Definitions/RawMonoid.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Definitions/RawSemiring.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Bundles
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Bundles/Raw.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/DirectProduct.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/LiftedChoice.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/NaturalChoice
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/NaturalChoice/MaxOp.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/NaturalChoice/MinMaxOp.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/NaturalChoice/MinOp.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/Subst
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/Subst/Equality.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/Zero.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism/Construct
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism/Construct/Composition.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism/Construct/Identity.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism/LatticeMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism/Structures.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/BooleanAlgebra
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/BooleanAlgebra.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/BooleanAlgebra/Expression.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/DistributiveLattice.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/Lattice.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/Semilattice.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Structures
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Structures.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Structures/Biased.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Bundles
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Bundles/Raw.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Consequences.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Construct
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Construct/DirectProduct.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Construct/Idealization.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Construct/TensorUnit.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Construct/Zero.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Core.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions/Bi
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions/Bi.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions/Bi/Simultaneous.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions/Left.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions/Right.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/BimoduleMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/BisemimoduleMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/Construct
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/Construct/Composition.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/Construct/Identity.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/LeftModuleMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/LeftSemimoduleMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/ModuleHomomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/ModuleMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/RightModuleMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/RightSemimoduleMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/SemimoduleMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/Structures.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties/Bimodule.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties/LeftModule.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties/RightModule.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties/Semimodule.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Structures
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Structures.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Structures/Biased.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Consequences.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct/Composition.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct/DirectProduct.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct/Identity.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct/Initial.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct/Terminal.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/GroupMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/MagmaMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/MonoidMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/RingMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Structures.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/AbelianGroup.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CancellativeCommutativeSemiring.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMagma
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMagma/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid/Mult
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid/Mult.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid/Mult/TCOptimised.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid/Sum.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemigroup
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemigroup.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemigroup/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemiring
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemiring/Binomial.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemiring/Exp
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemiring/Exp.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemiring/Exp/TCOptimised.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Group.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/IdempotentCommutativeMonoid.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/KleeneAlgebra.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Loop.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Magma
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Magma/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/MiddleBolLoop.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid/Mult
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid/Mult.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid/Mult/TCOptimised.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid/Sum.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/MoufangLoop.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Quasigroup.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Ring.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/RingWithoutOne.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semigroup
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semigroup.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semigroup/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Binomial.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Exp
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Exp.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Exp/TailRecursiveOptimised.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Exp/TCOptimised.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Mult
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Mult.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Mult/TCOptimised.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Primality.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Sum.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/CommutativeMonoid
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/CommutativeMonoid.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/CommutativeMonoid/Example.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/CommutativeMonoid/Normal.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/IdempotentCommutativeMonoid
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/IdempotentCommutativeMonoid.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/IdempotentCommutativeMonoid/Normal.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Monoid
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Monoid.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Monoid/Expression.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Monoid/Normal.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Monoid/Solver.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/AlmostCommutativeRing.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/Lemmas.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/NaturalCoefficients
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/NaturalCoefficients.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/NaturalCoefficients/Default.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/Simple.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Structures
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Structures.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Algebra/Structures/Biased.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Axiom
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Axiom/DoubleNegationElimination.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Axiom/ExcludedMiddle.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Axiom/Extensionality
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Axiom/Extensionality/Heterogeneous.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Axiom/Extensionality/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Axiom/UniquenessOfIdentityProofs
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Axiom/UniquenessOfIdentityProofs.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Axiom/UniquenessOfIdentityProofs/WithK.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/M.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Properties.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation/Binary
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation/Binary/Pointwise.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation/Unary
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Musical
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Cofin.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Base.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Bisimilarity.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Infinite-merge.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Properties.agdai
/usr/share/Agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Relation

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

Usa questo pacchetto

OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.

Prova Fedora 44 nel browser Crea un'immagine che include Agda-stdlib

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
2.3-4.fc44	44 / updates	noarch	Fedora 44 · updates · x86_64	151 MiB	191 MiB	Packages/a/Agda-stdlib-2.3-4.fc44.noarch.rpm
2.3-4.fc44	44 / updates	noarch	Fedora 44 · updates · aarch64	151 MiB	191 MiB	Packages/a/Agda-stdlib-2.3-4.fc44.noarch.rpm
2.3-3.fc44	44 / everything	noarch	Fedora 44 · Everything · x86_64	155 MiB	198 MiB	Packages/a/Agda-stdlib-2.3-3.fc44.noarch.rpm
2.3-3.fc44	44 / everything	noarch	Fedora 44 · Everything · aarch64	155 MiB	198 MiB	Packages/a/Agda-stdlib-2.3-3.fc44.noarch.rpm

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

Checksum e date di osservazione

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

2.3-4.fc44 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: fc58d0afa9e80dd092899355a20f29bff76b0be605c5ef063b0534177de14696

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' 'fc58d0afa9e80dd092899355a20f29bff76b0be605c5ef063b0534177de14696' 'Agda-stdlib-2.3-4.fc44.noarch.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

2.3-4.fc44 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: fc58d0afa9e80dd092899355a20f29bff76b0be605c5ef063b0534177de14696

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' 'fc58d0afa9e80dd092899355a20f29bff76b0be605c5ef063b0534177de14696' 'Agda-stdlib-2.3-4.fc44.noarch.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

2.3-3.fc44 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: dcdf8e0a81ac97bfedee190a0b2665d22cc2d7a25b8900c51a86087bcec9e011

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' 'dcdf8e0a81ac97bfedee190a0b2665d22cc2d7a25b8900c51a86087bcec9e011' 'Agda-stdlib-2.3-3.fc44.noarch.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

2.3-3.fc44 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: dcdf8e0a81ac97bfedee190a0b2665d22cc2d7a25b8900c51a86087bcec9e011

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' 'dcdf8e0a81ac97bfedee190a0b2665d22cc2d7a25b8900c51a86087bcec9e011' 'Agda-stdlib-2.3-3.fc44.noarch.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

Completezza del record

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description: 25/25
Artifact path and source digest: 25/25
Dependency metadata: 15/15
Package-file index: 15/15
Homepage: 5/5
License text: 5/5
Source package or maintainer: 10/10

Recorded total: 100/100

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee, Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991, Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b, Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fonti e provenienza

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

Fedora 44 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-44&arch=aarch64
Signed-object SHA-256
236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified
Fedora 44 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-44&arch=x86_64
Signed-object SHA-256
1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified
Fedora 44 updates aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=updates-released-f44&arch=aarch64
Signed-object SHA-256
2ec0ba92e556309075d8efe3c3301b36bb7ecd47c4e17566f0192c9c5436ed5f
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified
Fedora 44 updates x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=updates-released-f44&arch=x86_64
Signed-object SHA-256
a69a0ab020457a7af2515066b7caccb3950bcf9dc7bedb52b1850098d9857ae1
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified