[ Pakiet źródłowy: haskell-ogma-core ]
Pakiet: haskell-ogma-core-utils (1.7.0-2) [non-free]
Odnośniki dla haskell-ogma-core-utils
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego haskell-ogma-core:
- [haskell-ogma-core_1.7.0-2.dsc]
- [haskell-ogma-core_1.7.0.orig.tar.gz]
- [haskell-ogma-core_1.7.0-2.debian.tar.xz]
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
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.
Pobieranie haskell-ogma-core-utils
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 19,3 KiB | 104,0 KiB | [lista plików] |