Linux workstation

Fedora 43 native package

ghc-Agda

Haskell Agda library

Packages / Fedora 43 / Unspecified / ghc-Agda

[Source: Agda]

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

[Project overview: Agda]

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-56.fc43)

    Agda common files

  • dep: libHSListLike-4.7.8.3-Cb6L529m7PHLqHO1UW7ld3-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSOneTuple-0.4.2-JdYQTzVZvDwGTkWqXjHkCy-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSQuickCheck-2.14.3-7ThNmMPNMozCVAKcpIEBnn-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSSTMonadTrans-0.4.8-KHC52oAtXcD2GZptyRnQaK-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSStateVar-1.2.2-JiXIFd7ycvv2DVTXgNl5Sl-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSaeson-2.2.3.0-LVN644RDSGV1pDguDpiuz3-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSansi-terminal-1.1.2-1Q34nNS1MHH1dMBPyp1n1m-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSansi-terminal-types-1.1-32q8COnL2DhEOpnTTxQSYb-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSap-normalize-0.1.0.1-JiME6wxBP5EHlFpKDXVnSF-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSarray-0.5.8.0-fb6f-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSassoc-1.1.1-KIaHsSxUnU4KC0E35UVVI5-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSasync-2.2.5-5ytXJ8qNtQsAETic2xDdeM-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSbase-4.19.2.0-6e03-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSbase-compat-0.13.1-8EVu2xoT8jZ6TTyyGOgihm-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSbase-orphans-0.9.3-6ZvEtEcQN8bAC5hVcbpbvH-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSbifunctors-5.6.2-IRemgndUqeGCjhIYjBtUNs-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSbinary-0.8.9.1-3bda-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSblaze-builder-0.4.2.3-55JDYSEylXCJBtvey3tu48-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSblaze-html-0.9.2.0-CS6dQV3EYED3zPFkCTF3Ap-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSblaze-markup-0.8.3.0-6lEeEcprHSFAeskTqhlWhG-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSboxes-0.1.5-CbgqJEY6dKN3vai54K4zbU-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSbytestring-0.12.1.0-bb11-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHScase-insensitive-1.2.1.0-Gs3rlLE7v4z3cXcWJFZUQt-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHScharacter-ps-0.1-LVXKK9pecML2xjQKW56ckS-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHScolour-2.3.6-2POPnVwLUyZFrjjZBtVd1H-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHScomonad-5.0.9-2WEDJQNruA7BWfoDTisgJT-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHScontainers-0.6.8-b2d8-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHScontravariant-1.5.5-JZEuMViZbMOERhRQ9f2EK4-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSdata-default-0.7.1.3-4dvnc1y4K8Y6qjAGWp0BfZ-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSdata-default-class-0.1.2.2-HuTVHBnPCtwHGpYRzVPOof-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSdata-default-instances-containers-0.1.0.3-EfReXQ67XvpIHx6sBqLzDQ-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSdata-default-instances-dlist-0.0.1.2-8saEkCNrN3ILt1MoTXAjS9-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSdata-default-instances-old-locale-0.0.1.2-11ggjwLTcR5WTmkAOBCsK-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSdata-fix-0.3.4-8L32rhurBEr3omLqvQrtWV-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSdata-hash-0.2.0.1-9VxtJ4FD5tP9eKW4bYS6ck-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSdeepseq-1.5.1.0-0513-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSdirectory-1.3.8.5-6679-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSdistributive-0.6.2.1-JsMJNI6TslfIkRDXlWRu4x-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSdlist-1.0-H2yjbd4lEhUOfbwdbL7xX-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSedit-distance-0.2.2.1-3Iubgfym9sH7GKv3iby5NA-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSenummapset-0.7.3.0-2vbvztsjsohGIHwqz5RWUg-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSequivalence-0.4.1-4zpj1kfYY4oLCVgn0DlDAY-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSexceptions-0.10.7-302f-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSfilelock-0.1.1.7-Bo3Z8wrI4efCtGqHHwMgci-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSfilemanip-0.3.6.3-LmJAvqEUX1n6ssOZ7MsC5q-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSfilepath-1.4.301.0-b305-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSfmlist-0.9.4-CPtMGzX3fkWFylgBlw9OHB-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSgeneric-data-1.1.0.2-9Pu2jmVg6ScJcuH16h9NMi-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSgeneric-deriving-1.14.6-DGYt28YDpkg867HClFqm56-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSgenerically-0.1.1-D1eJBngfb9z8DPIpEzhOCA-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSghc-bignum-1.3-6046-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSghc-boot-th-9.8.4-73a9-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSghc-compact-0.1.0.0-0e62-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSghc-prim-0.11.0-a7b1-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSgitrev-1.3.1-DIUsM1fOKzW8LvbhXVn3i6-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHShashable-1.4.7.0-4sYUjiqCRWp1Ivr6Bfittp-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHShaskeline-0.8.2.1-66e9-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSindexed-traversable-0.1.4-LAa2TiQLgC0L6nx10uqu30-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSindexed-traversable-instances-0.1.2-2eGEJSt9Qiu6VE7IgiYmrz-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSinteger-conversion-0.1.1-EBOfWf4kar7Aavgmxcr2ia-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSinteger-logarithms-1.0.4-FUO74u7wCELK1xUt9Vj8EO-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSinvariant-0.6.4-E5BQq1H6Wav3uVh5NShK6J-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSmonad-control-1.0.3.1-JrMAJp9Zn5GKqYrW4bBkUh-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSmtl-2.3.1-7365-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSmurmur-hash-0.1.0.11-1xRUGVTmcULDzWOrynFVdt-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSnetwork-uri-2.6.4.2-F2UsnxbDK7BH8XhFY5000P-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSnonempty-containers-0.3.5.0-BqWMRMRQkKr11uAFP9hmRh-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSnonempty-vector-0.2.4-Gb6daaCgzJyAnSMonTul2x-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSold-locale-1.0.0.7-Brjug09F8Km9iYB5iCCIRM-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSos-string-2.0.7-LjoE4uZSBZ73BbdeBYQJa6-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSparallel-3.2.2.0-3NztSNkePq58iniLNBZqFm-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSparsec-3.1.17.0-db41-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSpeano-0.1.0.2-3smqwoiVhsQ3ERr3b1hNJ9-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSpqueue-1.5.0.0-CwahgI5nEXrLDIuFmZakIt-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSpretty-1.1.3.6-b6ac-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSprimitive-0.9.0.0-9lWW508Z1zq4f32hztDYir-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSprocess-1.6.25.0-7a71-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSprocess-extras-0.7.4-Gp4A5l78arQFXzBcA7VRI4-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSprofunctors-5.6.2-DAxkv8ofjRhLFr9QWJt0H-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSrandom-1.2.1.3-ILLUQbUmpZA0bdz7RIdNQ-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSregex-base-0.94.0.3-3RYk45FAUHeJdsAroBLDB-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSregex-tdfa-1.3.2.3-J4EMCzT22IA8h4rN2Ivumh-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSscientific-0.3.8.0-4FfTWjk2XJoF0zwjyZyzdv-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSsemialign-1.3.1-6V74rVtghGTBhUNWDemNtp-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSsemigroupoids-6.0.1-1GoTWiN3v41BUik9ozh3aE-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSshow-combinators-0.2.0.0-9risgMJz5zQIQvsro73bMs-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSsplit-0.2.5-8tTxjPahZRQDjjznkRIked-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSsplitmix-0.1.1-EOOzlisW0ha6xqy8OmZkpY-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSstm-2.5.3.1-ca51-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSstrict-0.5.1-gzmuAqAdvt3TUspeushIr-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHStagged-0.8.8-GyrslFoLiphJ2P1vvH48n6-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHStemplate-haskell-2.21.0.0-98b0-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSterminfo-0.4.1.6-209a-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHStext-2.1.1-1bf1-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHStext-iso8601-0.1.1-Kpp3Tbccxmj8BJTCNBa6bj-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHStext-short-0.1.6-8qrw6oMVBIBDB1EEF0NUU4-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSth-abstraction-0.7.1.0-80oylQNbrmxDZOJexbHcoi-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSth-compat-0.1.6-5uSpvSxMHUYAYf3g8aE5WZ-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSthese-1.2.1-DbZnELJ2IRTI8Xi0i4r2hP-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHStime-1.12.2-7526-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHStime-compat-1.9.7-F8ATBNZN1rvAgv6TtwIYf7-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHStransformers-0.6.1.0-da7f-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHStransformers-base-0.4.6-CutCrrNkBikHTM5yZ0KM0u-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHStransformers-compat-0.7.2-9uBIUn9bgjL3AwHN60vb9R-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSunix-2.8.6.0-1a2e-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSunix-compat-0.7.3-BOSsPBQpoofIKjJhHfpd45-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSunordered-containers-0.2.20-KA9cmPMMMq97KcjgGqmnLp-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSuri-encode-1.5.0.7-FwmJIIbv9DG8Lcy0yEBqNl-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSutf8-string-1.0.2-EeOLwISm4Cq6iTMYFaF5F9-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSuuid-types-1.0.6-IrV06Nx9KAt4WKuG0a9BQI-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSvector-0.13.2.0-WoGhxe9rar2AgNN1w6KXF-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSvector-hashtables-0.1.2.1-129XKyfqLJY5rPUgGR4co5-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSvector-stream-0.1.0.1-KENGI2ESqaZ3hdcHDMqAVW-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSwitherable-0.5-J2Yej31FajyK9tGbuilpSt-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSzlib-0.7.1.0-4CQEBn7GbFb5AAdGSuqb3A-ghc9.8.4.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.2.5)(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.14)(64bit)

    Package not available

Download ghc-Agda

ArchitecturePackage SizeInstalled SizeFiles
x86_6411 MiB79 MiB[list of files]

Package file paths (2)

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.8.4/lib/libHSAgda-2.8.0-6kBPL7UKMrQ91La2p1uCN6-ghc9.8.4.so
  • /usr/lib64/ghc-9.8.4/lib/libHSAgda-2.8.0-ES80446w7YfI1YRCZGcXTm-ghc9.8.4.so

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 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-56.fc4343 / everythingx86_64Fedora 43 · Everything · x86_6411 MiB79 MiBPackages/g/ghc-Agda-2.8.0-56.fc43.x86_64.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 / 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: 1bcc20a7608805a53a7bdb2cdbdb8e227ad4049ec6e35897349676df155c486e

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

printf '%s %s\n' '1bcc20a7608805a53a7bdb2cdbdb8e227ad4049ec6e35897349676df155c486e' 'ghc-Agda-2.8.0-56.fc43.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 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

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