все параметры
trixie  ] [  forky  ] [  sid  ]
[ Источник: haskell-ogma-language-csv  ]

Пакет: libghc-ogma-language-csv-dev (1.10.0-1)

Ссылки для libghc-ogma-language-csv-dev

Screenshot

Ресурсы Debian:

Исходный код haskell-ogma-language-csv:

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

Runtime Monitor translator: CSV Frontend

Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime verification framework that generates hard real-time C99 code.

This library contains a frontend to read specs from CSV files.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Другие пакеты, относящиеся к libghc-ogma-language-csv-dev

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libghc-ogma-language-csv-dev

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 39,3 Кб278,0 Кб [список файлов]
arm64 39,5 Кб362,0 Кб [список файлов]
armhf 44,5 Кб318,0 Кб [список файлов]
i386 64,0 Кб376,0 Кб [список файлов]
ppc64el 47,0 Кб507,0 Кб [список файлов]
riscv64 63,7 Кб561,0 Кб [список файлов]
s390x 59,1 Кб568,0 Кб [список файлов]