Packages / Fedora 44 / Unspecified / Agda-common

Package: Agda-common (2.8.0-59.fc44)

Agda common files

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

Download Agda-common

Architecture	Package size	Installed size	Files	Package
noarch	592 KiB	773 KiB	list of files	Download

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 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

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 44 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-59.fc44	44 / everything	noarch	Fedora 44 · Everything · x86_64	592 KiB	773 KiB	Packages/a/Agda-common-2.8.0-59.fc44.noarch.rpm
2.8.0-59.fc44	44 / everything	noarch	Fedora 44 · Everything · aarch64	592 KiB	773 KiB	Packages/a/Agda-common-2.8.0-59.fc44.noarch.rpm

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

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-59.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: 4f0bbdba5331accc78fa20a19d2400ea195ee0e5f20d2877b395b0bdd6b5475a

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

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

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

printf '%s  %s\n' '4f0bbdba5331accc78fa20a19d2400ea195ee0e5f20d2877b395b0bdd6b5475a' 'Agda-common-2.8.0-59.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

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 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee, Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991. 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 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