Pakiet: libghc-smtlib-dev (1.1-4 i inne)

Odnośniki dla libghc-smtlib-dev

• Śledzenie łatek systemu eLxr

Pobieranie pakietu źródłowego haskell-smtlib:

• [haskell-smtlib_1.1-4.debian.tar.xz]
• [haskell-smtlib_1.1-4.dsc]
• [haskell-smtlib_1.1.orig.tar.gz]

Opiekunowie:

• Debian Haskell Group
• Ilias Tsitsimpis

Podobne pakiety:

• libghc-smtlib-prof
• libghc-simple-smt-dev
• libghc-simple-smt-doc
• libghc-simple-smt-prof
• libghc-src-exts-util-dev
• libghc-src-exts-util-doc
• libghc-src-exts-util-prof
• libghc-url-dev
• libghc-constraints-extras-dev
• libghc-url-doc
• libghc-url-prof

Inne pakiety związane z libghc-smtlib-dev

• dep: libc6 (>= 2.2.5)

  GNU C Library: Shared libraries
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libghc-base-dev-4.18.2.1-8e81e

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-pretty-dev-1.1.3.6-8f6c9

  pakiet wirtualny udostępniany przez ghc

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Multiprecision arithmetic library

Pobieranie libghc-smtlib-dev