Fedora 44 native package

Agda-common

Agda common files

Packages / Fedora 44 / Unspecified / Agda-common

[Source: Agda]

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

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	592 KiB	773 KiB	[list of files]

Paketdateipfade (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

Dieses Paket verwenden

OpenFactory kann dieses Betriebssystem in einer Browser-VM starten oder einen Image-Build mit dem nativen Paketnamen aus diesem Datensatz beginnen.

Fedora 44 im Browser testen Image mit Agda-common bauen

Versionen, Suiten und Repositories

Jede Zeile ist Paketindex-Metadaten für eine Version, Architektur, Suite und ein Repository. Namen, URLs und Größen stammen aus der Quelle; ein Link ist ein veränderbarer Abrufort, kein Weitergabanspruch von OpenFactory.

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

Prüfsummen und Beobachtungsdaten

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

Vollständigkeit des Katalogsatzes

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

Quellen und Herkunft

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