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

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

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

Screenshot

Ресурси за Debian:

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

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

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

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

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 the internal commands of ogma.

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-core-prof

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

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

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 370,0 кБ4 266,0 кБ [списък на файловете]
arm64 437,2 кБ5 507,0 кБ [списък на файловете]
armel 480,1 кБ4 802,0 кБ [списък на файловете]
armhf 470,3 кБ4 686,0 кБ [списък на файловете]
mips64el 508,7 кБ6 670,0 кБ [списък на файловете]
ppc64el 495,9 кБ6 798,0 кБ [списък на файловете]
s390x 531,8 кБ7 881,0 кБ [списък на файловете]