Pakiet: libghc-ogma-extra-dev (1.9.0-1) [non-free]
Odnośniki dla libghc-ogma-extra-dev
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-extra:
- [haskell-ogma-extra_1.9.0-1.dsc]
- [haskell-ogma-extra_1.9.0.orig.tar.gz]
- [haskell-ogma-extra_1.9.0-1.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 internal extensions to existing libraries and modules that are used in several ogma packages and their testing facilities.
This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
Inne pakiety związane z libghc-ogma-extra-dev
|
|
|
|
-
- dep: libc6 (>= 2.14)
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
-
- dep: libghc-aeson-dev-2.1.2.1-bcb88
- pakiet wirtualny udostępniany przez libghc-aeson-dev
-
- dep: libghc-base-dev-4.18.2.1-8e81e
- pakiet wirtualny udostępniany przez ghc
-
- dep: libghc-bytestring-dev-0.11.5.3-7048d
- pakiet wirtualny udostępniany przez ghc
-
- dep: libghc-cabal-dev-3.10.3.0-8d809
- pakiet wirtualny udostępniany przez ghc
-
- dep: libghc-directory-dev-1.3.8.5-98ebe
- pakiet wirtualny udostępniany przez ghc
-
- dep: libghc-filepath-dev-1.4.300.1-f6cd4
- pakiet wirtualny udostępniany przez ghc
-
- dep: libghc-microstache-dev-1.0.2.3-11463
- pakiet wirtualny udostępniany przez libghc-microstache-dev
-
- dep: libghc-text-dev-2.0.2-5b954
- pakiet wirtualny udostępniany przez ghc
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Biblioteka działań arytmetycznych z dużą dokładnością
Pobieranie libghc-ogma-extra-dev
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
amd64 | 31,2 KiB | 186,0 KiB | [lista plików] |