Source Package: haskell-what4 (1.5.1-4)
Links for haskell-what4
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- haskell-what4-utils
- Understøttelse af symbolske værdier uafhængig af løser for udstedelse af forespørgsler
- libghc-what4-dev
- Understøttelse af symbolske værdier uafhængig af løser for udstedelse af forespørgsler
- 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)
- Hjælpeprogrammer for debian/rules
-
- adep:
haskell-devscripts-minimal
- Værktøjer til at hjælpe Debianudviklere med at bygge Haskell-pakker
- or
haskell-devscripts
(>= 0.13)
- Debinaværktøjer til at bygge Haskell-pakker (med hscolour)
-
- adep:
cdbs
- Fælles byggesystem for Debianpakker
-
- adep:
ghc
(>= 9.6)
- Glasgow Haskells kompileringssystem
-
- adep:
ghc-prof
- Profileringsbiblioteker for Glasgow Haskell Compilation-system
-
- adep:
libghc-boundedchan-dev
(>= 1)
- bounded (maximum-limited) channels
-
- adep:
libghc-boundedchan-dev
(<< 2)
- bounded (maximum-limited) channels
-
- adep:
libghc-boundedchan-prof
- bounded (maximum-limited) channels; profiling libraries
-
- adep:
libghc-async-dev
- run IO operations asynchronously and wait for their results
-
- adep:
libghc-async-prof
- run IO operations asynchronously and wait for their results; profiling libs
-
- 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)
- Haskell 98 bifunctors
-
- adep:
libghc-bifunctors-prof
- Haskell 98 bifunctors - profileringsbiblioteker
-
- adep:
libghc-bimap-dev
(>= 0.2)
- bidirectional mapping between two key types
-
- adep:
libghc-bimap-prof
- bidirectional mapping between two key types; profiling libraries
-
- adep:
libghc-bv-sized-dev
(>= 1.0.0)
- Bitvektordatatype parameteropsat af vektorbredden
-
- adep:
libghc-bv-sized-prof
- Bitvektordatatype parameteropsat af vektorbredden - profileringsbiblioteker
-
- 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)
- Generisk implementering af finger-tree-datastruktur i Haskell
-
- adep:
libghc-fingertree-prof
- Generisk implementering af finger-tree-datastruktur i Haskell - profileringsbiblioteker
-
- adep:
libghc-hashable-dev
(>= 1.3)
- class for types that can be converted to a hash value
-
- adep:
libghc-hashable-prof
- class for types that can be converted to a hash value; profiling libraries
-
- adep:
libghc-hashtables-dev
(>= 1.2.3)
- mutable hash tables
-
- adep:
libghc-hashtables-prof
- Mutable hash-tabeller - profilieringsbiblioteker
-
- 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)
- simple, composable, and easy-to-use stream I/O
-
- adep:
libghc-io-streams-prof
- simple, composable, and easy-to-use stream I/O; profiling libraries
-
- 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)
- Binding til libBF-biblioteket
-
- adep:
libghc-libbf-dev
(<< 0.7)
- Binding til libBF-biblioteket
-
- adep:
libghc-libbf-prof
- Binding til libBF-biblioteket - profileringsbiblioteker
-
- adep:
libghc-megaparsec-dev
(>= 8)
- Monadic-fortolkerkombinatorer
-
- adep:
libghc-megaparsec-dev
(<< 10)
- Monadic-fortolkerkombinatorer
-
- adep:
libghc-megaparsec-prof
- Monadic-fortolkerkombinatorer - profileringsbiblioteker
-
- adep:
libghc-ordered-containers-dev
(>= 0.2)
- Ordnede containere for Haskell
-
- adep:
libghc-ordered-containers-dev
(<< 0.3)
- Ordnede containere for Haskell
-
- adep:
libghc-ordered-containers-prof
- Ordnede containere for Haskell - profileringsbiblioteker
-
- adep:
libghc-panic-dev
(>= 0.3)
- Praktisk måde til panic
-
- adep:
libghc-panic-prof
- Praktisk måde til panic - profileringsbiblioteker
-
- 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)
- modern, easy-to-use, extensible prettyprinter
-
- adep:
libghc-prettyprinter-prof
- modern, easy-to-use, extensible prettyprinter; profiling libraries
-
- adep:
libghc-s-cargot-dev
(>= 0.1)
- flexible, extensible s-expression library
-
- adep:
libghc-s-cargot-dev
(<< 0.2)
- flexible, extensible s-expression library
-
- adep:
libghc-s-cargot-prof
- flexible, extensible s-expression library; profiling libraries
-
- adep:
libghc-scientific-dev
(>= 0.3.6)
- scientific notation for floating-point numbers
-
- adep:
libghc-scientific-prof
- scientific notation for floating-point numbers; profiling libraries
-
- adep:
libghc-tasty-dev
(>= 0.10)
- Haskell - testramme
-
- adep:
libghc-tasty-prof
- Haskell-testramme - profileringsbiblioteker
-
- 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)
- Hedgehog-tasty-integration
-
- adep:
libghc-tasty-hedgehog-prof
- Hedgehog-tasty-integration - profileringsbiblioteker
-
- adep:
libghc-tasty-hunit-dev
(>= 0.9)
- Haskell-testramme - HUnit-understøttelse
-
- adep:
libghc-tasty-hunit-prof
- Haskell-testramme, HUnit-understøttelse - profileringsbiblioteker
-
- adep:
libghc-tasty-quickcheck-dev
(>= 0.10)
- Haskell-testramme - QuickCheck-understøttelse
-
- adep:
libghc-tasty-quickcheck-prof
- Haskell-testramme - QuickCheck-understøttelse - profileringsbiblioteker
-
- adep:
libghc-temporary-dev
(>= 1.2)
- Temporary files and directories
-
- adep:
libghc-temporary-prof
- Temporary files and directories; profiling libraries
-
- adep:
libghc-th-lift-dev
(>= 0.8.2)
- Udled Template Haskell's Lift-klasse for datatyper
-
- adep:
libghc-th-lift-dev
(<< 0.9)
- Udled Template Haskell's Lift-klasse for datatyper
-
- adep:
libghc-th-lift-prof
- Udled Template Haskell's Lift-klasse for datatyper - profileringsbiblioteker
-
- 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-typeklasse for uløftende monad'er til IO
-
- adep:
libghc-unliftio-dev
(<< 0.3)
- MonadUnliftIO-typeklasse for uløftende monad'er til IO
-
- adep:
libghc-unliftio-prof
- MonadUnliftIO-typeklasse for uløftende monad'er til IO - profileringsbiblioteker
-
- adep:
libghc-unordered-containers-dev
(>= 0.2.10)
- Efficient hashing-based container types
-
- adep:
libghc-unordered-containers-prof
- Efficient hashing-based container types; profiling libraries
-
- adep:
libghc-utf8-string-dev
(>= 1.0.1)
- GHC-biblioteker for Haskell UTF-8-biblioteket
-
- adep:
libghc-utf8-string-prof
- Profiling support for the GHC Haskell UTF-8 library
-
- adep:
libghc-vector-dev
(>= 0.12.1)
- Effektive array'er for Haskell
-
- adep:
libghc-vector-prof
- Effektive array'er for Haskell - profileringsbiblioteker
-
- 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)
- Z-kodning og Z-afkodning for GHC-stilnavn
-
- adep:
libghc-zenc-dev
(<< 0.2.0)
- Z-kodning og Z-afkodning for GHC-stilnavn
-
- adep:
libghc-zenc-prof
- Z-kodning og Z-afkodning for GHC-stilnavn - profileringsbiblioteker
