Fedora 43 native package

Agda-common

Agda common files

Packages / Fedora 43 / Unspecified / Agda-common

[Source: Agda]

Package: Agda-common (2.8.0-56.fc43)

External Resources:

Homepage: [hackage.haskell.org]

Similar packages:

[Agda]
A dependently typed functional programming language and proof assistant
[ghc-Agda]
Haskell Agda library
[ghc-Agda-devel]
Haskell Agda library development files
[ghc-Agda-doc]
Haskell Agda library documentation
[ghc-Agda-prof]
Haskell Agda profiling library
[ghc-ap-normalize]
Haskell ap-normalize library
[ghc-ap-normalize-devel]
Haskell ap-normalize library development files
[ghc-ap-normalize-doc]
Haskell ap-normalize library documentation
[ghc-ap-normalize-prof]
Haskell ap-normalize profiling library
[ghc-fmlist]
Haskell fmlist library
[ghc-fmlist-devel]
Haskell fmlist library development files
[ghc-fmlist-doc]
Haskell fmlist library documentation
[ghc-fmlist-prof]
Haskell fmlist profiling library
[ghc-generic-data]
Haskell generic-data library
[ghc-generic-data-devel]
Haskell generic-data library development files
[ghc-generic-data-doc]
Haskell generic-data library documentation
[ghc-generic-data-prof]
Haskell generic-data profiling library
[ghc-ListLike]
Haskell ListLike library
[ghc-ListLike-devel]
Haskell ListLike library development files
[ghc-ListLike-doc]
Haskell ListLike library documentation
[ghc-ListLike-prof]
Haskell ListLike profiling library
[ghc-murmur-hash]
Haskell murmur-hash library
[ghc-murmur-hash-devel]
Haskell murmur-hash library development files
[ghc-murmur-hash-doc]
Haskell murmur-hash library documentation
[ghc-murmur-hash-prof]
Haskell murmur-hash profiling library
[ghc-nonempty-containers]
Haskell nonempty-containers library
[ghc-nonempty-containers-devel]
Haskell nonempty-containers library development files
[ghc-nonempty-containers-doc]
Haskell nonempty-containers library documentation
[ghc-nonempty-containers-prof]
Haskell nonempty-containers profiling library
[ghc-nonempty-vector]
Haskell nonempty-vector library
[ghc-nonempty-vector-devel]
Haskell nonempty-vector library development files
[ghc-nonempty-vector-doc]
Haskell nonempty-vector library documentation
[ghc-nonempty-vector-prof]
Haskell nonempty-vector profiling library
[ghc-peano]
Haskell peano library
[ghc-peano-devel]
Haskell peano library development files
[ghc-peano-doc]
Haskell peano library documentation
[ghc-peano-prof]
Haskell peano profiling library
[ghc-pqueue]
Haskell pqueue library
[ghc-pqueue-devel]
Haskell pqueue library development files
[ghc-pqueue-doc]
Haskell pqueue library documentation
[ghc-pqueue-prof]
Haskell pqueue profiling library
[ghc-process-extras]
Haskell process-extras library
[ghc-process-extras-devel]
Haskell process-extras library development files
[ghc-process-extras-doc]
Haskell process-extras library documentation
[ghc-process-extras-prof]
Haskell process-extras profiling library
[ghc-show-combinators]
Haskell show-combinators library
[ghc-show-combinators-devel]
Haskell show-combinators library development files
[ghc-show-combinators-doc]
Haskell show-combinators library documentation
[ghc-show-combinators-prof]
Haskell show-combinators profiling library
[ghc-vector-hashtables]
Haskell vector-hashtables library
[ghc-vector-hashtables-devel]
Haskell vector-hashtables library development files
[ghc-vector-hashtables-doc]
Haskell vector-hashtables library documentation
[ghc-vector-hashtables-prof]
Haskell vector-hashtables profiling library

Agda common files

This package provides the Agda core libraries and runtime related files.

Download Agda-common

Architecture	Package Size	Installed Size	Files
noarch	593 KiB	773 KiB	[list of files]

Package file paths (120)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

/usr/share/Agda-2.8.0
/usr/share/Agda-2.8.0/html
/usr/share/Agda-2.8.0/html/Agda.css
/usr/share/Agda-2.8.0/html/highlight-hover.js
/usr/share/Agda-2.8.0/JS
/usr/share/Agda-2.8.0/JS/agda-rts.amd.js
/usr/share/Agda-2.8.0/JS/agda-rts.js
/usr/share/Agda-2.8.0/JS/agda-rts.mjs
/usr/share/Agda-2.8.0/latex
/usr/share/Agda-2.8.0/latex/agda.sty
/usr/share/Agda-2.8.0/latex/postprocess-latex.pl
/usr/share/Agda-2.8.0/lib
/usr/share/Agda-2.8.0/lib/prim
/usr/share/Agda-2.8.0/lib/prim/Agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Bool.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Char
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Char.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Char/Properties.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Coinduction.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Cubical
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Cubical/Equiv.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Cubical/Glue.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Cubical/HCompU.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Cubical/Path.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Cubical/Sub.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Equality
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Equality.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Equality/Erase.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Equality/Rewrite.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Float
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Float.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Float/Properties.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/FromNat.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/FromNeg.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/FromString.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Int.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/IO.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/List.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Maybe.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Nat.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Reflection
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Reflection.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Reflection/External.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Reflection/Properties.agda
/usr/share/Agda-2.8.0/lib/prim/agda-builtins.agda-lib
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Sigma.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Size.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Strict.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/String
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/String.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/String/Properties.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/TrustMe.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Unit.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Word
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Word.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Builtin/Word/Properties.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Primitive
/usr/share/Agda-2.8.0/lib/prim/Agda/Primitive.agda
/usr/share/Agda-2.8.0/lib/prim/Agda/Primitive/Cubical.agda
/usr/share/Agda-2.8.0/lib/prim/_build
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Bool.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Char
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Char.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Char/Properties.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Coinduction.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical/Equiv.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical/Glue.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical/HCompU.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical/Path.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical/Sub.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Equality
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Equality.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Equality/Erase.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Equality/Rewrite.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Float
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Float.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Float/Properties.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/FromNat.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/FromNeg.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/FromString.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Int.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/IO.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/List.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Maybe.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Nat.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Reflection
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Reflection.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Reflection/External.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Reflection/Properties.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Sigma.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Size.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Strict.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/String
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/String.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/String/Properties.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/TrustMe.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Unit.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Word
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Word.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Builtin/Word/Properties.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Primitive
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Primitive.agdai
/usr/share/Agda-2.8.0/lib/prim/_build/2.8.0/agda/Agda/Primitive/Cubical.agdai
/usr/share/Agda-2.8.0/MAlonzo
/usr/share/Agda-2.8.0/MAlonzo/src
/usr/share/Agda-2.8.0/MAlonzo/src/MAlonzo
/usr/share/Agda-2.8.0/MAlonzo/src/MAlonzo/RTE
/usr/share/Agda-2.8.0/MAlonzo/src/MAlonzo/RTE/Float.hs
/usr/share/Agda-2.8.0/MAlonzo/src/MAlonzo/RTE.hs
/usr/share/doc/Agda-common
/usr/share/doc/Agda-common/CHANGELOG.md
/usr/share/doc/Agda-common/README.md
/usr/share/licenses/Agda-common
/usr/share/licenses/Agda-common/LICENSE

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

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-common

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.8.0-56.fc43	43 / everything	noarch	Fedora 43 · Everything · x86_64	593 KiB	773 KiB	Packages/a/Agda-common-2.8.0-56.fc43.noarch.rpm
2.8.0-56.fc43	43 / everything	noarch	Fedora 43 · Everything · aarch64	593 KiB	773 KiB	Packages/a/Agda-common-2.8.0-56.fc43.noarch.rpm

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

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.8.0-56.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: ba3a8ae7a712adc7cfc239dc51c072c281dbd4536766aad651868b3b8292d6dc

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

printf '%s  %s\n' 'ba3a8ae7a712adc7cfc239dc51c072c281dbd4536766aad651868b3b8292d6dc' 'Agda-common-2.8.0-56.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.8.0-56.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: ba3a8ae7a712adc7cfc239dc51c072c281dbd4536766aad651868b3b8292d6dc

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

printf '%s  %s\n' 'ba3a8ae7a712adc7cfc239dc51c072c281dbd4536766aad651868b3b8292d6dc' 'Agda-common-2.8.0-56.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. 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