Linux workstation

Fedora 44 native package

ghc-Agda

Haskell Agda library

Packages / Fedora 44 / Unspecified / ghc-Agda

[Source: Agda]

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

External Resources:

Homepage: [hackage.haskell.org]

Similar packages:

Haskell Agda library

This package provides the Haskell Agda shared library.

Other Packages Related to ghc-Agda:

  • dep: [Agda-common] (= 2.8.0-59.fc44)

    Agda common files

  • dep: libHSListLike-4.7.8.4-45oPyeKDMo86Ef95717aKR-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSOneTuple-0.4.2.1-4MtM0lqzRLKKDPNaXER0nU-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSQuickCheck-2.15.0.1-JMhVhcowMXGJyFe8Co1MqH-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSSTMonadTrans-0.4.8.1-6x6tannUfhU2XzJkoRx7As-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSStateVar-1.2.2-Ix7fK74pSlg9B6y4NN87Z9-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSaeson-2.2.3.0-8JywNx21WwfJj8dkPmCJKP-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSansi-terminal-1.1.5-FszpEGPXnXp6vXauWXuziW-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSansi-terminal-types-1.1.3-BGsCVT2If83CMD8Jun5wzv-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSap-normalize-0.1.0.1-5j0CswV7Jr38lM20YX2Xxu-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSarray-0.5.8.0-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSassoc-1.1.1-30BCdn01wuCLUYQedFJHQR-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSasync-2.2.6-660H6DETTCx6ZQbhx08rV4-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSbase-4.20.2.0-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSbase-compat-0.14.1-I8NVxxidkAABSjbMaU6LWv-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSbase-orphans-0.9.4-7BfHuMWFviR1vB5XQuLgjl-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSbifunctors-5.6.3-7WCfw339E5C8BKBzi3kQU4-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSbinary-0.8.9.3-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSblaze-builder-0.4.4.1-IETbtXv9ANeIFxIssaYex9-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSblaze-html-0.9.2.0-AjWIe2A9KqK2Y439LJeepX-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSblaze-markup-0.8.3.0-3jQm0Z6GS6x3KlvAaUyaT1-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSboxes-0.1.5-JJKRnL3kzd0IemlXHmIUhi-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSbytestring-0.12.2.0-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHScase-insensitive-1.2.1.0-9dTONcB2C6g1QOYuyl7pZW-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHScharacter-ps-0.1-IiWcZ0SqaFP8QcsIi2e2nh-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHScolour-2.3.6-D7eyWYOF7Vd5VKMTqpDCfA-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHScomonad-5.0.10-GF6Oe2kgyK8JOSIfVLwLHW-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHScontainers-0.7-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHScontravariant-1.5.6-HYDHBqbMES15617fCl7QV8-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSdata-default-0.8.0.2-227NDr7j64H9WeRS9NSDj6-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSdata-fix-0.3.4-8GoUHZFmR6H5LhHbeJ3zc4-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSdata-hash-0.2.0.1-G8NNOjEfMWTDUZngHwbTpi-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSdeepseq-1.5.0.0-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSdirectory-1.3.8.5-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSdistributive-0.6.3-DQPaf4vuKFi5nvKi6INTIZ-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSdlist-1.0-BmFr0f6M71fKPGRfwX2qVS-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSedit-distance-0.2.2.1-B2OUKs3kFdb7sUsuHFvUic-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSenummapset-0.7.3.0-F0D0TCy8OjnDCS7eDNpnj8-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSequivalence-0.4.1.1-7NkeQ0i7N4p3bpgGGVFkAx-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSexceptions-0.10.9-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSfilelock-0.1.1.8-3WP2pgJz7ae7aIO8bKCjWh-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSfilemanip-0.3.6.3-8t4KqEKzfntI0rSXEvsky1-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSfilepath-1.5.4.0-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSfmlist-0.9.4-cHlY4DkKOFLnoNudpiADP-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSgeneric-data-1.1.0.2-1Qk0D013tzKYRhN8dLk1a-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSgeneric-deriving-1.14.7-5rK4WbMNJQ01wXscUrjsEd-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSgenerically-0.1.1-BxjiBLMbYS7EsNDow4WNjK-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSghc-bignum-1.3-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSghc-boot-th-9.10.3-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSghc-compact-0.1.0.0-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSghc-internal-9.1003.0-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSghc-prim-0.12.0-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSgitrev-1.3.1-8pXRfWJ8R6XCctTa5qsGdI-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHShashable-1.5.1.0-IOVq8g4B58423QXYpDMyNv-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHShaskeline-0.8.2.1-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSindexed-traversable-0.1.4-HhGzT2d63m8EdLxDIeBOXO-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSindexed-traversable-instances-0.1.2-HLowSnAudpOHKdZL2r1UAk-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSinteger-conversion-0.1.1-4vgEi5DCIueIOajUkdHDrx-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSinteger-logarithms-1.0.5-Kd0gsstMnV8L3VrUzzJ6td-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSinvariant-0.6.5-DUB2TzZyBazFlqse6x3neT-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSmonad-control-1.0.3.1-KjsYSqtBGTj8P184cWMSKv-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSmtl-2.3.1-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSmurmur-hash-0.1.0.11-HMdcZDIy9aJnmUTqQo63J-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSnetwork-uri-2.6.4.2-9H6KChunBFhD1rjzeSOVM0-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSnonempty-containers-0.3.5.0-1nsFq0s5MxgAFxO8j7Nckx-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSnonempty-vector-0.2.4-F52XtCNgdWR9MuYrHE80TC-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSos-string-2.0.7-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSparallel-3.2.2.0-EgO7vbxMOwf76GDIGIfOam-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSparsec-3.1.18.0-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSpeano-0.1.1.0-CVQTdBlZH8iDU6sb4TdYTM-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSpqueue-1.5.0.0-LSe9v06BTKqKIOrpKWzvMp-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSpretty-1.1.3.6-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSprimitive-0.9.1.0-CdaaD38w4qB6rrosjqTSfA-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSprocess-1.6.26.1-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSprocess-extras-0.7.4-9pJhNO9HNzQ8QftrHyTzz-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSprofunctors-5.6.3-JOfh44z2QLmoExvrGIhU8-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSrandom-1.2.1.3-EAvZpIsCyhJF2FhxAE9Wl-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSregex-base-0.94.0.3-9QehDZNLV9iBch8zxFDhVI-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSregex-tdfa-1.3.2.5-2CPeyTME1oRilQvsdoww2-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSscientific-0.3.8.1-FV9hZrEidtHA4BBopkIRz-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSsemialign-1.3.1-A2dqjx9LwLhAnbXOFUKX-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSsemigroupoids-6.0.2-DCahbQIetib6vIZGx80rul-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSshow-combinators-0.2.0.0-6bje2TtlZquFYKSMBCpd8Z-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSsplit-0.2.5-4FAAZ89dwa5MeHGWTCEHH-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSsplitmix-0.1.3.2-99T4YbtgOkJKPjdjelFKhJ-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSstm-2.5.3.1-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSstrict-0.5.1-IdN0ln3lhLKsZStBB6i9f-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHStagged-0.8.9-EraSdp0lx7uJnqESyrqLTP-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHStemplate-haskell-2.22.0.0-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSterminfo-0.4.1.7-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHStext-2.1.3-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHStext-iso8601-0.1.1-JfOCngRDyKXGY0TIZtQTFi-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHStext-short-0.1.6.1-1WpJcP5tdSk9xL8sHGcIne-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSth-abstraction-0.7.2.0-HPv2KLw6EHiLyT9CKbQOH5-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSth-compat-0.1.7-G2CcjlEe1U5tMXwVbi6pm-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSthese-1.2.1-7mljAF64etU4CVCoqkqsT1-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHStime-1.12.2-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHStime-compat-1.9.8-LQIo4ycfZir38QXdtk3c7g-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHStransformers-0.6.1.1-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHStransformers-base-0.4.6-HjcpYmHyxfnGVgByFzJFLm-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHStransformers-compat-0.7.2-Ae7ETlFaZlOK8cn61TY4Ft-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSunix-2.8.7.0-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSunix-compat-0.7.4.1-rOF46fmK2fLC9XjOrW0ik-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSunordered-containers-0.2.20.1-L6NxKsF2RqAJYXFlD8aPdL-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSuri-encode-1.5.0.7-D1Jyj34lfvV2pyIiKS5jzJ-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSutf8-string-1.0.2-4QgsVolsKRD9VpNbFUYpVs-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSuuid-types-1.0.6-77X2MM05jy93rcJZxjso3N-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSvector-0.13.2.0-IcEG6qxpVPV6k6ubVJ8elJ-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSvector-hashtables-0.1.2.1-HhZEG6NZ6ZTJW9ZVZkl3aL-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSvector-stream-0.1.0.1-L5IRJehMu456v60fOpKQRk-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSwitherable-0.5-KdHs6RMN985AdSpbFI4Yde-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSzlib-0.7.1.1-I99sa8AEdgn8eHGSLkw63W-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libgmp.so.10()(64bit)

    Package not available

  • dep: libm.so.6()(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.17)(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.29)(64bit)

    Package not available

  • dep: libtinfo.so.6()(64bit)

    Package not available

  • dep: libz.so.1()(64bit)

    Package not available

  • dep: rtld(GNU_HASH)

    Package not available

  • dep: libc.so.6(GLIBC_2.17)(64bit)

    Package not available

Download ghc-Agda

ArchitecturePackage SizeInstalled SizeFiles
aarch6411 MiB81 MiB[list of files]
x86_6411 MiB80 MiB[list of files]

Package file paths (1)

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/lib64/ghc-9.10.3/lib/libHSAgda-2.8.0-9fBPVuJpTnwHNUTKQc1a1Y-ghc9.10.3.so

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

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 browserBuild an image that includes ghc-Agda

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.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2.8.0-59.fc4444 / everythingaarch64Fedora 44 · Everything · aarch6411 MiB81 MiBPackages/g/ghc-Agda-2.8.0-59.fc44.aarch64.rpm
2.8.0-59.fc4444 / everythingx86_64Fedora 44 · Everything · x86_6411 MiB80 MiBPackages/g/ghc-Agda-2.8.0-59.fc44.x86_64.rpm

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

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 / aarch64Observed 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: 850b318159cef126fccf404528986f12c2f64249e4db64391b6f2e596c0452ea

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

printf '%s %s\n' '850b318159cef126fccf404528986f12c2f64249e4db64391b6f2e596c0452ea' 'ghc-Agda-2.8.0-59.fc44.aarch64.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

2.8.0-59.fc44 / x86_64Observed 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: ca69fec5c3fa1c3f8316922f2c3921a292968df0681bdc73c6452d395d48e71c

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

printf '%s %s\n' 'ca69fec5c3fa1c3f8316922f2c3921a292968df0681bdc73c6452d395d48e71c' 'ghc-Agda-2.8.0-59.fc44.x86_64.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

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

ghc-Agda Package for Fedora 44 | OpenFactory