всички настройки
trixie  ] [  forky  ] [  sid  ]
[ Източник: haskell-ogma-extra  ]

Пакет: libghc-ogma-extra-prof (1.10.0-1)

Връзки за libghc-ogma-extra-prof

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник haskell-ogma-extra.

Отговорници:

Външни препратки:

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

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.

Други пакети, свързани с libghc-ogma-extra-prof

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на libghc-ogma-extra-prof

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
alpha (неофициална архитектура) 30,3 кБ209,0 кБ [списък на файловете]
amd64 23,8 кБ144,0 кБ [списък на файловете]
arm64 26,1 кБ171,0 кБ [списък на файловете]
armel 28,7 кБ163,0 кБ [списък на файловете]
armhf 28,6 кБ160,0 кБ [списък на файловете]
hppa (неофициална архитектура) 35,1 кБ194,0 кБ [списък на файловете]
i386 28,8 кБ152,0 кБ [списък на файловете]
loong64 (неофициална архитектура) 36,2 кБ278,0 кБ [списък на файловете]
mips64el 29,1 кБ203,0 кБ [списък на файловете]
ppc64 (неофициална архитектура) 26,9 кБ210,0 кБ [списък на файловете]
ppc64el 27,5 кБ204,0 кБ [списък на файловете]
riscv64 37,5 кБ277,0 кБ [списък на файловете]
s390x 31,0 кБ235,0 кБ [списък на файловете]
sparc64 (неофициална архитектура) 33,8 кБ284,0 кБ [списък на файловете]