[ Source: haskell-smtlib ]
Пакунок: libghc-smtlib-prof (1.1-1 and others)
Links for libghc-smtlib-prof
Debian Resources:
Download Source Package haskell-smtlib:
Maintainers:
Similar packages:
A library for working with the SMTLIB format.; profiling libraries
. This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.
Інші пакунки пов'язані з libghc-smtlib-prof
|
|
|
|
-
- dep: libghc-base-prof-4.13.0.0-3cd45
- virtual package provided by ghc-prof
-
- dep: libghc-pretty-prof-1.1.3.6-eb7b6
- virtual package provided by ghc-prof
-
- dep: libghc-smtlib-dev (= 1.1-1+b1)
- A library for working with the SMTLIB format.
Завантажити libghc-smtlib-prof
Архітектура | Версія | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|---|
i386 | 1.1-1+b1 | 390.3 kB | 3,588.0 kB | [список файлів] |