Linux workstation

Upstream software project

haskell-ogma-language-smv

Runtime Monitor translator: Lustre Language Frontend; documentation

About haskell-ogma-language-smv

Runtime Monitor translator: Lustre Language Frontend; documentation

This project links 32 native package records across 1 recorded operating-system release. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

haskell-ogma-language-smv repository preview from GitHub
Project repository preview, supplied by GitHub. Open source repository
Debian 13 (Trixie): 32 package records. Catalog coverage diagram, not an application screenshot.haskell-ogma-language-smv: recorded package coverageDebian 13 (Trixie)32 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
haskell-ogma-language-smv
Publisher
Not authoritatively mapped
Native package records
32
Operating systems
debian-13
License expression
Not reported
Metadata completeness
80/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Open source repository

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

Helper tool to interoperate between Copilot and other languages; profiling libraries

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Debian 13 (Trixie)

  1. haskell-ogma-cli-utils

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-cli

    1.7.0-1

    Helper tool to interoperate between Copilot and other languages

    amd64trixie
  2. haskell-ogma-core-utils

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-core

    1.7.0-2

    Helper tool to interoperate between Copilot and other languages

    alltrixie
  3. libghc-ogma-core-dev

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-core

    1.7.0-2

    Helper tool to interoperate between Copilot and other languages

    amd64trixie
  4. libghc-ogma-core-doc

    Debian 13 (Trixie) / non-free/doc / source haskell-ogma-core

    1.7.0-2

    Helper tool to interoperate between Copilot and other languages; documentation

    alltrixie
  5. libghc-ogma-core-prof

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-core

    1.7.0-2

    Helper tool to interoperate between Copilot and other languages; profiling libraries

    amd64trixie
  6. libghc-ogma-extra-dev

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-extra

    1.7.0-1

    Helper tool to interoperate between Copilot and other languages

    amd64trixie
  7. libghc-ogma-extra-doc

    Debian 13 (Trixie) / non-free/doc / source haskell-ogma-extra

    1.7.0-1

    Helper tool to interoperate between Copilot and other languages; documentation

    alltrixie
  8. libghc-ogma-extra-prof

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-extra

    1.7.0-1

    Helper tool to interoperate between Copilot and other languages; profiling libraries

    amd64trixie
  9. libghc-ogma-language-c-dev

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-c

    1.7.0-1

    Ogma: Runtime Monitor translator: C Language Frontend

    amd64trixie
  10. libghc-ogma-language-c-doc

    Debian 13 (Trixie) / non-free/doc / source haskell-ogma-language-c

    1.7.0-1

    Ogma: Runtime Monitor translator: C Language Frontend; documentation

    alltrixie
  11. libghc-ogma-language-copilot-dev

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-copilot

    1.7.0-1

    Ogma: Runtime Monitor translator: Copilot Language Endpoints

    amd64trixie
  12. libghc-ogma-language-copilot-doc

    Debian 13 (Trixie) / non-free/doc / source haskell-ogma-language-copilot

    1.7.0-1

    Ogma: Runtime Monitor translator: Copilot Language Endpoints; documentation

    alltrixie
  13. libghc-ogma-language-copilot-prof

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-copilot

    1.7.0-1

    Ogma: Runtime Monitor translator: Copilot Language Endpoints; profiling libraries

    amd64trixie
  14. libghc-ogma-language-c-prof

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-c

    1.7.0-1

    Ogma: Runtime Monitor translator: C Language Frontend; profiling libraries

    amd64trixie
  15. libghc-ogma-language-csv-dev

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-csv

    1.7.0-1

    Runtime Monitor translator: CSV Frontend

    amd64trixie
  16. libghc-ogma-language-csv-doc

    Debian 13 (Trixie) / non-free/doc / source haskell-ogma-language-csv

    1.7.0-1

    Runtime Monitor translator: CSV Frontend; documentation

    alltrixie
  17. libghc-ogma-language-csv-prof

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-csv

    1.7.0-1

    Runtime Monitor translator: CSV Frontend; profiling libraries

    amd64trixie
  18. libghc-ogma-language-jsonspec-dev

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-jsonspec

    1.7.0-1

    Ogma: Runtime Monitor translator: JSON Frontend

    amd64trixie
  19. libghc-ogma-language-jsonspec-doc

    Debian 13 (Trixie) / non-free/doc / source haskell-ogma-language-jsonspec

    1.7.0-1

    Ogma: Runtime Monitor translator: JSON Frontend; documentation

    alltrixie
  20. libghc-ogma-language-jsonspec-prof

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-jsonspec

    1.7.0-1

    Ogma: Runtime Monitor translator: JSON Frontend; profiling libraries

    amd64trixie
  21. libghc-ogma-language-lustre-dev

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-lustre

    1.7.0-1

    Runtime Monitor translator: Lustre Language Frontend

    amd64trixie
  22. libghc-ogma-language-lustre-doc

    Debian 13 (Trixie) / non-free/doc / source haskell-ogma-language-lustre

    1.7.0-1

    Runtime Monitor translator: Lustre Language Frontend; documentation

    alltrixie
  23. libghc-ogma-language-lustre-prof

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-lustre

    1.7.0-1

    Runtime Monitor translator: Lustre Language Frontend; profiling libraries

    amd64trixie
  24. libghc-ogma-language-smv-dev

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

    1.7.0-1

    Ogma: Runtime Monitor translator: SMV Language Frontend

    amd64trixie
  25. libghc-ogma-language-smv-doc

    Debian 13 (Trixie) / non-free/doc / source haskell-ogma-language-smv

    1.7.0-1

    Ogma: Runtime Monitor translator: SMV Language Frontend; documentation

    alltrixie
  26. libghc-ogma-language-smv-prof

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

    1.7.0-1

    Ogma: Runtime Monitor translator: SMV Language Frontend; profiling libraries

    amd64trixie
  27. libghc-ogma-language-xlsx-dev

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-xlsx

    1.7.0-1

    Runtime Monitor translator: XLSX Frontend

    amd64trixie
  28. libghc-ogma-language-xlsx-doc

    Debian 13 (Trixie) / non-free/doc / source haskell-ogma-language-xlsx

    1.7.0-1

    Runtime Monitor translator: XLSX Frontend; documentation

    alltrixie
  29. libghc-ogma-language-xlsx-prof

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-language-xlsx

    1.7.0-1

    Runtime Monitor translator: XLSX Frontend; profiling libraries

    amd64trixie
  30. libghc-ogma-spec-dev

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-spec

    1.7.0-1

    Ogma: Runtime Monitor translator: JSON Frontend

    amd64trixie
  31. libghc-ogma-spec-doc

    Debian 13 (Trixie) / non-free/doc / source haskell-ogma-spec

    1.7.0-1

    Ogma: Runtime Monitor translator: JSON Frontend; documentation

    alltrixie
  32. libghc-ogma-spec-prof

    Debian 13 (Trixie) / non-free/haskell / source haskell-ogma-spec

    1.7.0-1

    Ogma: Runtime Monitor translator: JSON Frontend; profiling libraries

    amd64trixie

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.

haskell-ogma-language-smv Software and Packages | OpenFactory