[  etiona  ] [  nabia  ] [  aramo  ]

[ Источник: haskell-smtlib  ]

Ссылки для libghc-smtlib-prof

Ресурсы Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Сообщения об ошибках
• Changelog
• Файл авторских прав

Исходный код haskell-smtlib:

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

Сопровождающий:

• Ubuntu Developers (Почтовый архив)

Original Maintainers:

• Debian Haskell Group (Почтовый архив)
• Kristoffer H Rose

Подобные пакеты:

• libghc-smtlib-doc
• libghc-simple-smt-prof
• libghc-random-prof
• libghc-constraints-extras-prof
• libghc-url-prof
• libghc-mime-prof
• libghc-uri-prof
• libghc-src-exts-util-prof
• libghc-polynomial-prof
• libghc-set-extra-prof
• libghc-constraints-prof

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

зависимости

рекомендации

предложения

• dep: libghc-base-prof-4.13.0.0-bfdb4

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

• dep: libghc-pretty-prof-1.1.3.6-529fa

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

• dep: libghc-smtlib-dev (= 1.1-1build2)

  A library for working with the SMTLIB format.

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

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

Архитектура	Размер пакета	В установленном виде	Файлы
ppc64el	506,0 Кб	7510 Кб	[список файлов]