Fedora 44 native package

Agda-stdlib-docs

Agda standard libraries documentation

Packages / Fedora 44 / Unspecified / Agda-stdlib-docs

[Source: Agda-stdlib]

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

External Resources:

Homepage: [wiki.portal.chalmers.se]

Similar packages:

[Agda-stdlib]
Agda standard libraries

Agda standard libraries documentation

This package provides the html documentation for the stdlibs generated by the Agda compiler program.

Download Agda-stdlib-docs

Architecture	Package Size	Installed Size	Files
noarch	4.0 MiB	53 MiB	[list of files]

Rutas de archivos del paquete (1,177)

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

/usr/share/doc/Agda-stdlib-docs
/usr/share/doc/Agda-stdlib-docs/CHANGELOG
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.01.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.02.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.03.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.04.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.05.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.06.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.07.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.08.1.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.08.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.09.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.10.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.11.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.12.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.13.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.14.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.15.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.16.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.17.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.0.1.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.0.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.1.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.2.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.3.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.4.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.5.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.6.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.7.1.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.7.2.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.7.3.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.7.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v2.0.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v2.1.1.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v2.1.md
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v2.2.md
/usr/share/doc/Agda-stdlib-docs/Everything.agda
/usr/share/doc/Agda-stdlib-docs/EverythingSafe.agda
/usr/share/doc/Agda-stdlib-docs/HACKING.md
/usr/share/doc/Agda-stdlib-docs/html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Bool.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.Properties.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Coinduction.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.Erase.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Float.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Float.Properties.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNat.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNeg.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromString.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Int.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.IO.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.List.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Maybe.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Nat.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.External.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.Properties.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Sigma.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Size.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Strict.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.Properties.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.TrustMe.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Unit.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Word.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Word.Properties.html
/usr/share/doc/Agda-stdlib-docs/html/Agda.css
/usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Apartness.Bundles.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Apartness.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Apartness.Properties.HeytingCommutativeRing.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Apartness.Structures.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Bundles.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Bundles.Raw.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Base.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Propositional.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Setoid.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.Add.Identity.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.DirectProduct.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.Flip.Op.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.Initial.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LexProduct.Base.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LexProduct.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LexProduct.Inner.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LiftedChoice.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Base.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Max.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.MaxOp.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Min.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.MinMaxOp.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.MinOp.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.Pointwise.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.Subst.Equality.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.Terminal.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.Zero.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Core.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.RawMagma.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.RawMonoid.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.RawSemiring.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Bundles.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Bundles.Raw.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Construct.DirectProduct.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Construct.LiftedChoice.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Construct.NaturalChoice.MaxOp.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Construct.NaturalChoice.MinMaxOp.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Construct.NaturalChoice.MinOp.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Construct.Subst.Equality.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Construct.Zero.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Morphism.Construct.Composition.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Morphism.Construct.Identity.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Morphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Morphism.LatticeMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Morphism.Structures.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Properties.BooleanAlgebra.Expression.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Properties.BooleanAlgebra.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Properties.DistributiveLattice.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Properties.Lattice.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Properties.Semilattice.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Structures.Biased.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Lattice.Structures.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Bundles.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Bundles.Raw.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Consequences.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.DirectProduct.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.Idealization.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.TensorUnit.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.Zero.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Core.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Bi.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Bi.Simultaneous.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Left.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Right.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.BimoduleMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.BisemimoduleMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.Construct.Composition.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.Construct.Identity.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.Definitions.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.LeftModuleMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.LeftSemimoduleMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.ModuleHomomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.ModuleMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.RightModuleMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.RightSemimoduleMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.SemimoduleMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Morphism.Structures.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Properties.Bimodule.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Properties.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Properties.LeftModule.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Properties.RightModule.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Properties.Semimodule.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Structures.Biased.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Structures.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Bundles.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Consequences.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Construct.Composition.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Construct.DirectProduct.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Construct.Identity.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Construct.Initial.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Construct.Terminal.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Definitions.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.GroupMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.MagmaMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.MonoidMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.RingMonomorphism.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Structures.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.AbelianGroup.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CancellativeCommutativeSemiring.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMagma.Divisibility.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.Mult.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.Mult.TCOptimised.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.Sum.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemigroup.Divisibility.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemigroup.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemiring.Binomial.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemiring.Exp.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemiring.Exp.TCOptimised.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Group.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.IdempotentCommutativeMonoid.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.KleeneAlgebra.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Loop.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Magma.Divisibility.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.MiddleBolLoop.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Divisibility.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Mult.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Mult.TCOptimised.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Sum.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.MoufangLoop.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Quasigroup.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Ring.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.RingWithoutOne.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semigroup.Divisibility.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semigroup.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Binomial.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Divisibility.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Exp.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Exp.TailRecursiveOptimised.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Exp.TCOptimised.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Mult.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Mult.TCOptimised.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Primality.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Sum.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.CommutativeMonoid.Example.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.CommutativeMonoid.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.CommutativeMonoid.Normal.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.IdempotentCommutativeMonoid.Example.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.IdempotentCommutativeMonoid.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.IdempotentCommutativeMonoid.Normal.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Monoid.Expression.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Monoid.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Monoid.Normal.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Monoid.Solver.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.AlmostCommutativeRing.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.Lemmas.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.NaturalCoefficients.Default.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.NaturalCoefficients.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.Simple.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.Biased.html
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.html
/usr/share/doc/Agda-stdlib-docs/html/Axiom.DoubleNegationElimination.html
/usr/share/doc/Agda-stdlib-docs/html/Axiom.ExcludedMiddle.html
/usr/share/doc/Agda-stdlib-docs/html/Axiom.Extensionality.Heterogeneous.html
/usr/share/doc/Agda-stdlib-docs/html/Axiom.Extensionality.Propositional.html
/usr/share/doc/Agda-stdlib-docs/html/Axiom.UniquenessOfIdentityProofs.html
/usr/share/doc/Agda-stdlib-docs/html/Axiom.UniquenessOfIdentityProofs.WithK.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Guarded.M.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Guarded.Stream.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Guarded.Stream.Properties.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Guarded.Stream.Relation.Binary.Pointwise.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Guarded.Stream.Relation.Unary.All.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Guarded.Stream.Relation.Unary.Any.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Cofin.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Base.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Bisimilarity.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Infinite-merge.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Properties.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Relation.Unary.All.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Relation.Unary.All.Properties.html
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Relation.Unary.Any.html

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

Usar este paquete

OpenFactory puede arrancar este sistema operativo en una máquina virtual del navegador, o iniciar una construcción que incluye el nombre nativo del paquete de este registro.

Probar Fedora 44 en el navegador Construir una imagen que incluye Agda-stdlib-docs

Versiones, suites y repositorios

Cada fila es metadato del índice de paquetes para una versión, arquitectura, suite y repositorio. Nombres, URL y tamaños vienen de la fuente; un enlace es un punto de descarga que puede cambiar, no una redistribución de OpenFactory.

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

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

Sumas de comprobación y fechas de observación

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: 0c2960ab8581d8fbf18e2a70992c970479d02ab4bbc2a003c3c16ab72cd51181

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

printf '%s  %s\n' '0c2960ab8581d8fbf18e2a70992c970479d02ab4bbc2a003c3c16ab72cd51181' 'Agda-stdlib-docs-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: 0c2960ab8581d8fbf18e2a70992c970479d02ab4bbc2a003c3c16ab72cd51181

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

printf '%s  %s\n' '0c2960ab8581d8fbf18e2a70992c970479d02ab4bbc2a003c3c16ab72cd51181' 'Agda-stdlib-docs-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: 78c69c96ff8c6a9b39912411b94925fdd9284f008ca9d0909144ac325eb6c90d

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

printf '%s  %s\n' '78c69c96ff8c6a9b39912411b94925fdd9284f008ca9d0909144ac325eb6c90d' 'Agda-stdlib-docs-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: 78c69c96ff8c6a9b39912411b94925fdd9284f008ca9d0909144ac325eb6c90d

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

printf '%s  %s\n' '78c69c96ff8c6a9b39912411b94925fdd9284f008ca9d0909144ac325eb6c90d' 'Agda-stdlib-docs-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

Completitud del registro

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

Fuentes y procedencia

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