Пакет: libghc-smtlib-dev (1.1-2 и другие)

[ Источник: 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.

Другие пакеты, относящиеся к libghc-smtlib-dev

• dep: libc6 (>= 2.1.3)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

• dep: libghc-base-dev-4.15.1.0-6f9e8

  виртуальный пакет, предоставляемый ghc

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

  виртуальный пакет, предоставляемый ghc

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

  библиотека для работы с числами произвольной точности

Загрузка libghc-smtlib-dev

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
i386	1.1-2+b1	683,3 Кб	6 169,0 Кб	[список файлов]