Source Package: haskell-what4 (1.5.1-3)
Links for haskell-what4
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- haskell-what4-utils
- Solver-agnostic symbolic values support for issuing queries
- libghc-what4-dev
- Solver-agnostic symbolic values support for issuing queries
- libghc-what4-doc
- Solver-agnostic symbolic values support for issuing queries; documentation
- libghc-what4-prof
- Solver-agnostic symbolic values support for issuing queries; profiling libraries
Other Packages Related to haskell-what4
-
- adep:
debhelper
(>= 10)
- programmi ausiliari per debian/rules
-
- adep:
haskell-devscripts-minimal
- strumenti per aiutare gli sviluppatori Debian a generare pacchetti Haskell
- or
haskell-devscripts
(>= 0.13)
- strumenti Debian per compilare pacchetti Haskell (con hscolour)
-
- adep:
cdbs
- sistema di generazione comune per pacchetti Debian
-
- adep:
ghc
(>= 9.4)
- sistema di compilazione Haskell Glasgow
-
- adep:
ghc-prof
- librerie di profilazione per il sistema di compilazione Haskell Glasgow
-
- adep:
libghc-boundedchan-dev
(>= 1)
- canali con vincoli (limitati in alto)
-
- adep:
libghc-boundedchan-dev
(<< 2)
- canali con vincoli (limitati in alto)
-
- adep:
libghc-boundedchan-prof
- canali con vincoli (con limite-massimo); librerie di profilazione
-
- adep:
libghc-async-dev
- esegue operazioni IO in modo asincrono e attende i loro risultati
-
- adep:
libghc-async-prof
- esegue operazioni IO in modo asincrono e attende i loro risultati; librerie di profilazione
-
- adep:
libghc-attoparsec-dev
(>= 0.13)
- Fast combinator parsing for bytestrings
-
- adep:
libghc-attoparsec-prof
- Fast combinator parsing for bytestrings; profiling libraries
-
- adep:
libghc-bifunctors-dev
(>= 5)
- bifuntori di Haskell 98
-
- adep:
libghc-bifunctors-prof
- bifuntori di Haskell 98; librerie di profilazione
-
- adep:
libghc-bimap-dev
(>= 0.2)
- mappatura bidirezionale tra due tipi di chiavi
-
- adep:
libghc-bimap-prof
- mappatura bidirezionale tra due tipi di chiavi; librerie di profilazione
-
- adep:
libghc-bv-sized-dev
(>= 1.0.0)
- bitvector datatype parameterized by the vector width
-
- adep:
libghc-bv-sized-prof
- bitvector datatype parameterized by the vector width; profiling libraries
-
- adep:
libghc-concurrent-extra-dev
(>= 0.7)
- Extra concurrency primitives
-
- adep:
libghc-concurrent-extra-dev
(<< 0.8)
- Extra concurrency primitives
-
- adep:
libghc-concurrent-extra-prof
- Extra concurrency primitives; profiling libraries
-
- adep:
libghc-config-value-dev
(>= 0.8)
- simple, layout-based value language similar to YAML/JSON
-
- adep:
libghc-config-value-dev
(<< 0.9)
- simple, layout-based value language similar to YAML/JSON
-
- adep:
libghc-config-value-prof
- simple, layout-based value language similar to YAML/JSON; profiling libraries
-
- adep:
libghc-deriving-compat-dev
(>= 0.5)
- backports of GHC deriving extensions
-
- adep:
libghc-deriving-compat-prof
- backports of GHC deriving extensions; profiling libraries
-
- adep:
libghc-fingertree-dev
(>= 0.1.4)
- implementazione in Haskell di struttura generica per dati finger-tree
-
- adep:
libghc-fingertree-prof
- implementazione in Haskell di struttura generica per dati finger-tree; librerie di profilazione
-
- adep:
libghc-hashable-dev
(>= 1.3)
- classe per tipi che possono essere convertiti in un valore hash
-
- adep:
libghc-hashable-prof
- classe per tipi che possono essere convertiti in un valore hash; librerie di profilazione
-
- adep:
libghc-hashtables-dev
(>= 1.2.3)
- mutable hash tables
-
- adep:
libghc-hashtables-prof
- mutable hash tables -- profiling libraries; profiling libraries
-
- adep:
libghc-hedgehog-dev
(>= 1.0.2)
- Hedgehog will eat all your bugs
-
- adep:
libghc-hedgehog-prof
- Hedgehog will eat all your bugs; profiling libraries
-
- adep:
libghc-io-streams-dev
(>= 1.5)
- I/O con flussi semplice, componibile e facile da usare
-
- adep:
libghc-io-streams-prof
- I/O con flussi semplice, componibile e facile da usare; librerie di profilazione
-
- adep:
libghc-lens-dev
(>= 4.18)
- Lenses, Folds and Traversals
-
- adep:
libghc-lens-prof
- Lenses, Folds and Traversals; profiling libraries
-
- adep:
libghc-lumberjack-dev
- Trek through your code forest and make logs
-
- adep:
libghc-lumberjack-prof
- Trek through your code forest and make logs; profiling libraries
-
- adep:
libghc-libbf-dev
(>= 0.6)
- collegamento alla libreria libBF
-
- adep:
libghc-libbf-dev
(<< 0.7)
- collegamento alla libreria libBF
-
- adep:
libghc-libbf-prof
- collegamento alla libreria libBF; librerie di profilazione
-
- adep:
libghc-megaparsec-dev
(>= 8)
- monadic parser combinators
-
- adep:
libghc-megaparsec-dev
(<< 10)
- monadic parser combinators
-
- adep:
libghc-megaparsec-prof
- monadic parser combinators; profiling libraries
-
- adep:
libghc-ordered-containers-dev
(>= 0.2)
- contenitori ordinati per Haskell
-
- adep:
libghc-ordered-containers-dev
(<< 0.3)
- contenitori ordinati per Haskell
-
- adep:
libghc-ordered-containers-prof
- contenitori ordinati per Haskell; librerie di profilazione
-
- adep:
libghc-panic-dev
(>= 0.3)
- modo comodo di andare in panico
-
- adep:
libghc-panic-prof
- modo comodo di andare in panico; librerie di profilazione
-
- adep:
libghc-parameterized-utils-dev
(>= 2.1)
- Classes/data structures for data-kind indexed types
-
- adep:
libghc-parameterized-utils-dev
(<< 2.2)
- Classes/data structures for data-kind indexed types
-
- adep:
libghc-parameterized-utils-prof
- Classes/data structures for data-kind indexed types; profiling libraries
-
- adep:
libghc-prettyprinter-dev
(>= 1.7.0)
- strumento per belle stampe estensibile, moderno, facile da usare
-
- adep:
libghc-prettyprinter-prof
- strumento per belle stampe estensibile, moderno, facile da usare; librerie di profilazione
-
- adep:
libghc-s-cargot-dev
(>= 0.1)
- libreria flessibile ed estensibile per espressioni S
-
- adep:
libghc-s-cargot-dev
(<< 0.2)
- libreria flessibile ed estensibile per espressioni S
-
- adep:
libghc-s-cargot-prof
- libreria flessibile ed estensibile per espressioni S; librerie di profilazione
-
- adep:
libghc-scientific-dev
(>= 0.3.6)
- notazione scientifica per numeri in virgola mobile
-
- adep:
libghc-scientific-prof
- notazione scientifica per numeri in virgola mobile; librerie di profilazione
-
- adep:
libghc-tasty-dev
(>= 0.10)
- infrastruttura Haskell di test
-
- adep:
libghc-tasty-prof
- infrastruttura di test di Haskell; librerie di profilazione
-
- adep:
libghc-tasty-checklist-dev
(>= 1.0.3)
- Check multiple items during a tasty test
-
- adep:
libghc-tasty-checklist-dev
(<< 1.1)
- Check multiple items during a tasty test
-
- adep:
libghc-tasty-checklist-prof
- Check multiple items during a tasty test; profiling libraries
-
- adep:
libghc-tasty-expected-failure-dev
(>= 0.12)
- mark tasty tests as failure-expected
-
- adep:
libghc-tasty-expected-failure-dev
(<< 0.13)
- mark tasty tests as failure-expected
-
- adep:
libghc-tasty-expected-failure-prof
- mark tasty tests as failure-expected; profiling libraries
-
- adep:
libghc-tasty-hedgehog-dev
(>= 1.2)
- integrazione tra hedgehog e tasty
-
- adep:
libghc-tasty-hedgehog-prof
- integrazione tra hedgehog e tasty; librerie di profilazione
-
- adep:
libghc-tasty-hunit-dev
(>= 0.9)
- infrastruttura Haskell di test, gestione HUnit
-
- adep:
libghc-tasty-hunit-prof
- infrastruttura Haskell di test, gestione HUnit; librerie di profilazione
-
- adep:
libghc-tasty-quickcheck-dev
(>= 0.10)
- infrastruttura Haskell di test, gestione QuickCheck
-
- adep:
libghc-tasty-quickcheck-prof
- infrastruttura Haskell di test, gestione QuickCheck; librerie di profilazione
-
- adep:
libghc-temporary-dev
(>= 1.2)
- file e directory temporanei
-
- adep:
libghc-temporary-prof
- file e directory temporanei; librerie di profilazione
-
- adep:
libghc-th-lift-dev
(>= 0.8.2)
- derive Template Haskell's Lift class for datatypes.
-
- adep:
libghc-th-lift-dev
(<< 0.9)
- derive Template Haskell's Lift class for datatypes.
-
- adep:
libghc-th-lift-prof
- derive Template Haskell's Lift class for datatypes.; profiling libraries
-
- adep:
libghc-th-lift-instances-dev
(>= 0.1)
- Lift instances for template-haskell for common data types
-
- adep:
libghc-th-lift-instances-dev
(<< 0.2)
- Lift instances for template-haskell for common data types
-
- adep:
libghc-th-lift-instances-prof
- Lift instances for template-haskell for common data types; profiling libraries
-
- adep:
libghc-unliftio-dev
(>= 0.2)
- MonadUnliftIO typeclass for unlifting monads to IO
-
- adep:
libghc-unliftio-dev
(<< 0.3)
- MonadUnliftIO typeclass for unlifting monads to IO
-
- adep:
libghc-unliftio-prof
- MonadUnliftIO typeclass for unlifting monads to IO; profiling libraries
-
- adep:
libghc-unordered-containers-dev
(>= 0.2.10)
- tipi per contenitori efficienti basati su hash
-
- adep:
libghc-unordered-containers-prof
- tipi per contenitori efficienti basati su hash; librerie di profilazione
-
- adep:
libghc-utf8-string-dev
(>= 1.0.1)
- librerie GHC per la libreria UTF-8 di Haskell
-
- adep:
libghc-utf8-string-prof
- gestione della profilazione per la libreria UTF-8 di Haskell
-
- adep:
libghc-vector-dev
(>= 0.12.1)
- array efficienti per Haskell
-
- adep:
libghc-vector-prof
- array efficienti per Haskell; librerie di profilazione
-
- adep:
libghc-versions-dev
(>= 6.0.2)
- Types and parsers for software version numbers.
-
- adep:
libghc-versions-dev
(<< 6.1)
- Types and parsers for software version numbers.
-
- adep:
libghc-versions-prof
- Types and parsers for software version numbers.; profiling libraries
-
- adep:
libghc-zenc-dev
(>= 0.1.0)
- GHC style name Z-encoding and Z-decoding
-
- adep:
libghc-zenc-dev
(<< 0.2.0)
- GHC style name Z-encoding and Z-decoding
-
- adep:
libghc-zenc-prof
- GHC style name Z-encoding and Z-decoding; profiling libraries