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

[ Pakiet źródłowy: haskell-smtlib  ]

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-6f9e8

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-pretty-dev-1.1.3.6-4b5fa

  pakiet wirtualny udostępniany przez ghc

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

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

Pobieranie libghc-smtlib-dev

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
i386	1.1-2+b1	683,3 KiB	6 169,0 KiB	[lista plików]