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)

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-EZLaogq1DgBKJi3ZNN4UP4-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHSbinary-0.8.9.1-021f-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHSdata-hash-0.2.0.1-78USS5lW1dG5LnilxMZm7N-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHSedit-distance-0.2.2.1-5EPDHd6DDhkJ1pQGiO1AF3-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSenummapset-0.7.3.0-4aELked5C9u5WaEmgQVuNu-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHSequivalence-0.4.1-8gECEHrHllPK0CpYGTs1DE-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHSgeneric-data-1.1.0.2-6fBnoC3cRvG6Bf2unP76DY-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHSghc-compact-0.1.0.0-252e-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHSparallel-3.2.2.0-8sSfvRtEO717rJIvZ3T1kP-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHSsemialign-1.3.1-74FRzRto9hKFs1skiPPW1M-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

  • dep: libHSshow-combinators-0.2.0.0-8BdvzIEjumz1R5DnF9MKU6-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHSterminfo-0.4.1.6-4ef7-ghc9.8.4.so()(64bit)

    Package not available

  • dep: libHStext-2.1.1-907f-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

  • dep: libHStext-short-0.1.6-7CR1hycFUmfDka29BoeUoC-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHSvector-hashtables-0.1.2.1-1h7tWq7ni2CABK2mhzJ4XK-ghc9.8.4.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHSzlib-0.7.1.0-Gg2WoSD3jVYBLhzhamDrCh-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.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 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 aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

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 / everythingaarch64Fedora 43 · Everything · aarch6411 MiB81 MiBPackages/g/ghc-Agda-2.8.0-56.fc43.aarch64.rpm
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 aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

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 / 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: a82248faadd62ac9f352a7b2eb3b803f5570e803154e0f964bb974791c891af3

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

printf '%s %s\n' 'a82248faadd62ac9f352a7b2eb3b803f5570e803154e0f964bb974791c891af3' 'ghc-Agda-2.8.0-56.fc43.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 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

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

ghc-Agda Package for Fedora 43 | OpenFactory