Linux workstation

Fedora 44 native package

ghc-copilot-c99

A compiler for Copilot targeting C99

Packages / Fedora 44 / Unspecified / ghc-copilot-c99

[Source: ghc-copilot-c99]

Package: ghc-copilot-c99 (4.5.1-1.fc44)

External Resources:

Homepage: [hackage.haskell.org]

Similar packages:

A compiler for Copilot targeting C99

This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at <https://copilot-language.github.io>.

Other Packages Related to ghc-copilot-c99:

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHScopilot-core-4.5.1-3i8Bai9O1mZ5VmqWhb74KT-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: libHSexceptions-0.10.9-inplace-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSfilepath-1.5.4.0-inplace-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-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: libHSieee754-0.8.0-LjLHVAK5VgZ5GVZZutKcrh-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSlanguage-c99-0.2.0-93Ge4frPZioCLXyfiShMrV-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSlanguage-c99-simple-0.3.0-DzKyaqaiCob1LvKLmtBsgQ-ghc9.10.3.so()(64bit)

    Package not available

  • dep: libHSlanguage-c99-util-0.2.0-7Qp8foL0cyE26L25FQ7vlf-ghc9.10.3.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libHSstm-2.5.3.1-inplace-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: libHStime-1.12.2-inplace-ghc9.10.3.so()(64bit)

    Package not available

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

    Package not available

  • dep: libHSunix-2.8.7.0-inplace-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: rtld(GNU_HASH)

    Package not available

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

    Package not available

Download ghc-copilot-c99

ArchitecturePackage SizeInstalled SizeFiles
aarch6444 KiB212 KiB[list of files]
x86_6444 KiB183 KiB[list of files]

Package file paths (3)

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/libHScopilot-c99-4.5.1-9LMtDgYM3kH9xADrtwDUAh-ghc9.10.3.so
  • /usr/share/licenses/ghc-copilot-c99
  • /usr/share/licenses/ghc-copilot-c99/LICENSE

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

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
4.5.1-1.fc4444 / everythingaarch64Fedora 44 · Everything · aarch6444 KiB212 KiBPackages/g/ghc-copilot-c99-4.5.1-1.fc44.aarch64.rpm
4.5.1-1.fc4444 / everythingx86_64Fedora 44 · Everything · x86_6444 KiB183 KiBPackages/g/ghc-copilot-c99-4.5.1-1.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.

4.5.1-1.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: 7c8a58855ab7f7bfede83f1becd1511b86d70b505b93c4063e42afa99f23d40f

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

printf '%s %s\n' '7c8a58855ab7f7bfede83f1becd1511b86d70b505b93c4063e42afa99f23d40f' 'ghc-copilot-c99-4.5.1-1.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

4.5.1-1.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: c2db7301b9b60862556610968bbe66d3a66c91ef11fbd5efa1a142ed74474cb7

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

printf '%s %s\n' 'c2db7301b9b60862556610968bbe66d3a66c91ef11fbd5efa1a142ed74474cb7' 'ghc-copilot-c99-4.5.1-1.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-copilot-c99 Package for Fedora 44 | OpenFactory