wszystkie opcje
trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: haskell-ogma-extra  ]

Pakiet: libghc-ogma-extra-prof (1.10.0-1)

Odnośniki dla libghc-ogma-extra-prof

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego haskell-ogma-extra:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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

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, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

Inne pakiety związane z libghc-ogma-extra-prof

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libghc-ogma-extra-prof

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 23,8 KiB144,0 KiB [lista plików]
arm64 26,1 KiB171,0 KiB [lista plików]
armel 28,7 KiB163,0 KiB [lista plików]
armhf 28,6 KiB160,0 KiB [lista plików]
hppa (port nieoficjalny) 35,1 KiB194,0 KiB [lista plików]
i386 28,8 KiB152,0 KiB [lista plików]
mips64el 29,1 KiB203,0 KiB [lista plików]
ppc64el 27,5 KiB204,0 KiB [lista plików]
riscv64 37,5 KiB277,0 KiB [lista plików]
s390x 31,0 KiB235,0 KiB [lista plików]
sparc64 (port nieoficjalny) 33,8 KiB284,0 KiB [lista plików]