Fedora 43 native package

Agda-stdlib-docs

Agda standard libraries documentation

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

[Source: Agda-stdlib]

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

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]

Package file paths (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 43 updates x86_64 revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try Fedora 43 in the browser Build an image that includes Agda-stdlib-docs

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

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

Field source: Fedora 43 updates x86_64 revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a

Checksums and observation dates

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.fc43 / 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: a0ac24de17d9e9f8897960206a59a51f84ef2547be79b4c2ea6be962ddd01b75

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

printf '%s  %s\n' 'a0ac24de17d9e9f8897960206a59a51f84ef2547be79b4c2ea6be962ddd01b75' 'Agda-stdlib-docs-2.3-4.fc43.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 43 updates x86_64 revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a

2.3-4.fc43 / 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: a0ac24de17d9e9f8897960206a59a51f84ef2547be79b4c2ea6be962ddd01b75

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

printf '%s  %s\n' 'a0ac24de17d9e9f8897960206a59a51f84ef2547be79b4c2ea6be962ddd01b75' 'Agda-stdlib-docs-2.3-4.fc43.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 43 updates aarch64 revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac

2.3-1.fc43 / 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: cd383cb5f8f5aab330e889575123e6a691400664b53158acf341083378c4315a

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

printf '%s  %s\n' 'cd383cb5f8f5aab330e889575123e6a691400664b53158acf341083378c4315a' 'Agda-stdlib-docs-2.3-1.fc43.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 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

2.3-1.fc43 / 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: cd383cb5f8f5aab330e889575123e6a691400664b53158acf341083378c4315a

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

printf '%s  %s\n' 'cd383cb5f8f5aab330e889575123e6a691400664b53158acf341083378c4315a' 'Agda-stdlib-docs-2.3-1.fc43.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 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

Catalog record completeness

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 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2, Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2, Fedora 43 updates aarch64 revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac, Fedora 43 updates x86_64 revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Sources and provenance

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 43 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2
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-43&arch=aarch64
Signed-object SHA-256
6c2a7b7225a6bd12acd5c95dcd0350a0a5929e195692ff68eb31db0ee6b9897b
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
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 43 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2
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-43&arch=x86_64
Signed-object SHA-256
42c0002750de6066124693fff143f4854c1e29474d893f7e6a7616012d41338f
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
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 43 updates aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac
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-f43&arch=aarch64
Signed-object SHA-256
0af1807dead0a1d28599a942743e244fe57da21cf6a935b3e4155f4a3f1070a1
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
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 43 updates x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a
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-f43&arch=x86_64
Signed-object SHA-256
3ae5fecc3db8c7b4ce0cf54a8ea572ed4694e7e132e201c2f6ab6570259d1061
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
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