Пакет: libghc-sbv-prof (8.17-1 и другие) [debports]

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

Ресурсы Debian:

Сообщения об ошибках

Исходный код :

Не найден

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

Внешние ресурсы:

Сайт [leventerkok.github.io]

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

symbolic Haskell theorem prover using SMT solving; profiling libraries

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

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

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

зависимости

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

предложения

enhances

dep: libghc-array-prof-0.5.4.0-2617f

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-async-prof-2.2.4-ebebe

виртуальный пакет, предоставляемый libghc-async-prof
dep: libghc-base-prof-4.13.0.0-f73fa

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-containers-prof-0.6.2.1-5e2b2

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-deepseq-prof-1.4.4.0-7564c

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-directory-prof-1.3.6.0-fb3ad

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-filepath-prof-1.4.2.1-4f51d

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-libbf-prof-0.6.5.1-7216b

виртуальный пакет, предоставляемый libghc-libbf-prof
dep: libghc-mtl-prof-2.2.2-c2ded

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-pretty-prof-1.1.3.6-aa0be

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-process-prof-1.6.9.0-28faa

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-quickcheck-prof-2.14.2-03843

виртуальный пакет, предоставляемый libghc-quickcheck2-prof
dep: libghc-random-prof-1.2.1.1-977c0

виртуальный пакет, предоставляемый libghc-random-prof
dep: libghc-sbv-dev (= 8.17-1+b2)

symbolic Haskell theorem prover using SMT solving
dep: libghc-syb-prof-0.7.2.2-11e22

виртуальный пакет, предоставляемый libghc-syb-prof
dep: libghc-template-haskell-prof-2.15.0.0-dd3f2

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-text-prof-1.2.4.0-3e1ef

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-time-prof-1.9.3-28cba

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-transformers-prof-0.5.6.2-2970e

виртуальный пакет, предоставляемый ghc-prof
dep: libghc-uniplate-prof-1.6.13-e91da

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

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

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
x32 (неофициальный перенос)	8.17-1+b2	8 970,3 Кб	91 700,0 Кб	[список файлов]