Linux workstation

Debian 13 (Trixie) source package

haskell-ogma-language-smv

Ogma: Runtime Monitor translator: SMV Language Frontend

Packages / Debian 13 (Trixie) / Source / non-free/haskell / haskell-ogma-language-smv

Source Package: haskell-ogma-language-smv (1.7.0-1)

Maintainers:

Debian Haskell Group

External Resources:

Homepage: [github.com]

The following binary packages are built from this source package:

Sources and provenance

  • Debian 13 (Trixie) non-free amd64Sep 1, 2026

    Authoritative source; repository metadata signature verified, revision trixie-non-free-amd64:873a1152a9641bbbd32ae06d9bea40c0eb9486caeea340a786d4ab84cb6de6c5

    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
    98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
    Signer fingerprint
    4CB50190207B4758A3F73A796ED0E7B82643E131
    Keyring revision
    debian-archive-keyring.gpg
    SHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: non-free/binary-amd64/Packages.xz
    Expected SHA-256: 873a1152a9641bbbd32ae06d9bea40c0eb9486caeea340a786d4ab84cb6de6c5
    Observed SHA-256: 873a1152a9641bbbd32ae06d9bea40c0eb9486caeea340a786d4ab84cb6de6c5
    Result: match verified