Packages / openSUSE Leap 16.0 / Unspecified / ghc-dec

[Source: ghc-dec]

Package: ghc-dec (0.0.6-bp160.1.10)

Decidable propositions

This package provides a 'Dec' type. ' type Neg a = a -> Void data Dec a = Yes a | No (Neg a) '.

Other Packages Related to ghc-dec:

  • dep: libHSbase-4.19.2.0-7e67-ghc9.8.3.so()(64bit)

    Package not available

  • dep: libHSboring-0.2.2-FSD6imfNFWv4ORGpwqLh1s-ghc9.8.3.so()(64bit)

    Package not available

  • dep: libHSdeepseq-1.5.1.0-7fa1-ghc9.8.3.so()(64bit)

    Package not available

  • dep: libHSghc-bignum-1.3-86c2-ghc9.8.3.so()(64bit)

    Package not available

  • dep: libHSghc-boot-th-9.8.3-2c22-ghc9.8.3.so()(64bit)

    Package not available

  • dep: libHSghc-prim-0.11.0-7710-ghc9.8.3.so()(64bit)

    Package not available

  • dep: libHSpretty-1.1.3.6-d27b-ghc9.8.3.so()(64bit)

    Package not available

  • dep: libHStagged-0.8.8-2Y7l1zdbwcPKWY8UhDljrh-ghc9.8.3.so()(64bit)

    Package not available

  • dep: libHStemplate-haskell-2.21.0.0-c6f5-ghc9.8.3.so()(64bit)

    Package not available

  • dep: libHStransformers-0.6.1.0-f4c3-ghc9.8.3.so()(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

Download ghc-dec

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch6416 KiB68 KiBlist of filesDownload
ppc64le18 KiB68 KiBlist of filesDownload
x86_6416 KiB36 KiBlist of filesDownload

Package file paths (4)

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.3/lib/libHSdec-0.0.6-1cmWFcdZN0FLtRQ6dfPXq9-ghc9.8.3.so
  • /usr/lib64/ghc-9.8.3/lib/libHSdec-0.0.6-739w4P2BSFFFlLeWFnRJzw-ghc9.8.3.so
  • /usr/share/licenses/ghc-dec
  • /usr/share/licenses/ghc-dec/LICENSE

Field source: openSUSE Leap 16.0 OSS

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 openSUSE Leap 16.0 in the browserBuild an image that includes ghc-dec

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
0.0.6-bp160.1.10leap-16.0 / ossaarch64openSUSE Leap 16.0 · OSS · multi-architecture16 KiB68 KiBaarch64/ghc-dec-0.0.6-bp160.1.10.aarch64.rpm
0.0.6-bp160.1.10leap-16.0 / ossppc64leopenSUSE Leap 16.0 · OSS · multi-architecture18 KiB68 KiBppc64le/ghc-dec-0.0.6-bp160.1.10.ppc64le.rpm
0.0.6-bp160.1.10leap-16.0 / ossx86_64openSUSE Leap 16.0 · OSS · multi-architecture16 KiB36 KiBx86_64/ghc-dec-0.0.6-bp160.1.10.x86_64.rpm

Field source: openSUSE Leap 16.0 OSS

Known vulnerabilities

No matching advisories in the tracked sources.

Last synced:

[CVE catalog]

Checksums

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

0.0.6-bp160.1.10 / aarch64Observed Sep 1, 2026sha512 e5e57ec4ece7…06abcfd0Source-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha512): e5e57ec4ece7127831aa603473c20070d6530b7e38b00678e7781135872e69d82f11dcc3ede08f1faa5454d9c43df43563e36efb0e4b9621367bb2f706abcfd0

Field source: openSUSE Leap 16.0 OSS

0.0.6-bp160.1.10 / ppc64leObserved Sep 1, 2026sha512 0ca1bf0d2158…4051e228Source-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha512): 0ca1bf0d21580c2eb8d13d5baa4702072d7d4aa84459ba62d846326239542e6a54932f3e7fcf92a86bacbbb8a4620bf11f97bfb42775b4ecd88658ca4051e228

Field source: openSUSE Leap 16.0 OSS

0.0.6-bp160.1.10 / x86_64Observed Sep 1, 2026sha512 2c5b6b71d1a6…9cb42f8aSource-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha512): 2c5b6b71d1a63740002d9a45df7d38c38aedc0f63c6543f5bb07004675c134124e865c5f674aa889b71a1fe9e83ca7019e27489aa58c251fcbe93aa09cb42f8a

Field source: openSUSE Leap 16.0 OSS

Sources

  • openSUSE Leap 16.0 OSSSep 1, 2026

    Authoritative source; repository metadata signature verified

    Signature evidence

    leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

    Repository-signature verification record
    Signed-object SHA-256
    271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
    Signer fingerprint
    AD485664E901B867051AB15F35A2F86E29B700A4
    Keyring revision
    opensuse-project-signing-key.asc
    SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable