Pakiet: libghc-smtlib-dev (1.1-3) [debports]

[ Pakiet źródłowy:  ]

A library for working with the SMTLIB format.

. This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Inne pakiety związane z libghc-smtlib-dev

• dep: libc6 (>= 2.1.3)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libghc-base-dev-4.15.1.0-64902

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-pretty-dev-1.1.3.6-2dbf0

  pakiet wirtualny udostępniany przez ghc

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

  Biblioteka działań arytmetycznych z dużą dokładnością

Pobieranie libghc-smtlib-dev

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
m68k (port nieoficjalny)	666,6 KiB	6 301,0 KiB	[lista plików]