[ Източник: haskell-ogma-core ]
Пакет: haskell-ogma-core-utils (1.9.0-1) [non-free]
Връзки за haskell-ogma-core-utils
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник haskell-ogma-core.
- [haskell-ogma-core_1.9.0-1.dsc]
- [haskell-ogma-core_1.9.0.orig.tar.gz]
- [haskell-ogma-core_1.9.0-1.debian.tar.xz]
Отговорници:
Външни препратки:
- Начална страница [github.com]
Подобни пакети:
Helper tool to interoperate between Copilot and other languages
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 package implements the internal commands of ogma.
Изтегляне на haskell-ogma-core-utils
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| all | 19,4 кБ | 104,0 кБ | [списък на файловете] |