略過導航欄

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

haskell-what4 的相關連結

Debian 的資源：

• 報告問題
• Developer Information
• Debian Changelog
• 版權檔案
• Debian 原始碼倉庫 (Git)
• Debian 補丁追蹤網站

維護小組：

• Debian Haskell Group (QA 頁面, 郵件存檔)
• Scott Talbert (QA 頁面)

外部的資源：

• 主頁 [github.com]

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

其他與 haskell-what4 有關的套件

• adep: debhelper (>= 10)

  helper programs for debian/rules

• adep: haskell-devscripts-minimal

  Tools to help Debian developers build Haskell packages

  或者 haskell-devscripts (>= 0.13)

  Debian tools to build Haskell packages (with hscolour)

• adep: cdbs

  common build system for Debian packages

• adep: ghc

  The Glasgow Haskell Compilation system

• adep: ghc-prof

  Profiling libraries for the Glasgow Haskell Compilation system

• 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; profiling libraries

• 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)

  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-data-binary-ieee754-dev

  parser/serialiser for IEEE-754 floating-point values

• adep: libghc-data-binary-ieee754-prof

  parser/serialiser for IEEE-754 floating-point values; 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)

  Generic finger-tree data structure implementation in Haskell

• adep: libghc-fingertree-prof

  Generic finger-tree data structure implementation in Haskell; profiling libraries

• 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 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)

  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 to the libBF library

• adep: libghc-libbf-dev (<< 0.7)

  Binding to the libBF library

• adep: libghc-libbf-prof

  Binding to the libBF library; profiling libraries

• adep: libghc-panic-dev (>= 0.3)

  convenient way to panic

• adep: libghc-panic-prof

  convenient way to panic; profiling libraries

• 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-quickcheck2-dev (>= 2.12)

  Haskell automatic testing library for GHC

• adep: libghc-quickcheck2-prof

  Haskell automatic testing library for GHC; 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 testing framework

• adep: libghc-tasty-prof

  Haskell testing framework; profiling libraries

• 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; profiling libraries

• adep: libghc-tasty-hunit-dev (>= 0.9)

  Haskell testing framework, HUnit support

• adep: libghc-tasty-hunit-prof

  Haskell testing framework, HUnit support; profiling libraries

• adep: libghc-tasty-quickcheck-dev (>= 0.10)

  Haskell testing framework, QuickCheck support

• adep: libghc-tasty-quickcheck-prof

  Haskell testing framework, QuickCheck support; profiling libraries

• adep: libghc-temporary-dev (>= 1.2)

  Temporary files and directories

• adep: libghc-temporary-prof

  Temporary files and directories; profiling libraries

• adep: libghc-th-abstraction-dev (>= 0.1)

  nicer interface for reified information about data types

• adep: libghc-th-abstraction-dev (<< 0.5)

  nicer interface for reified information about data types

• adep: libghc-th-abstraction-prof

  nicer interface for reified information about data types; profiling libraries

• 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-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 libraries for the Haskell UTF-8 library

• adep: libghc-utf8-string-prof

  Profiling support for the GHC Haskell UTF-8 library

• adep: libghc-vector-dev (>= 0.12.1)

  Efficient Arrays for Haskell

• adep: libghc-vector-prof

  Efficient Arrays for Haskell; profiling libraries

• adep: libghc-versions-dev (>= 4.0)

  Types and parsers for software version numbers.

• adep: libghc-versions-dev (<< 6.0)

  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

• adep: cvc4

  automated theorem prover for SMT problems

• adep: z3

  theorem prover from Microsoft Research

• idep: ghc-doc

  Documentation for the Glasgow Haskell Compilation system

• idep: libghc-async-doc

  run IO operations asynchronously and wait for their results; documentation

• idep: libghc-attoparsec-doc

  Fast combinator parsing for bytestrings; documentation

• idep: libghc-bifunctors-doc

  Haskell 98 bifunctors; documentation

• idep: libghc-bimap-doc

  bidirectional mapping between two key types; documentation

• idep: libghc-bv-sized-doc

  bitvector datatype parameterized by the vector width; documentation

• idep: libghc-concurrent-extra-doc

  Extra concurrency primitives; documentation

• idep: libghc-config-value-doc

  simple, layout-based value language similar to YAML/JSON; documentation

• idep: libghc-data-binary-ieee754-doc

  parser/serialiser for IEEE-754 floating-point values; documentation

• idep: libghc-deriving-compat-doc

  backports of GHC deriving extensions; documentation

• idep: libghc-fingertree-doc

  Generic finger-tree data structure implementation in Haskell; documentation

• idep: libghc-hashable-doc

  class for types that can be converted to a hash value; documentation

• idep: libghc-hashtables-doc

  mutable hash tables -- documentation; documentation

• idep: libghc-hedgehog-doc

  Hedgehog will eat all your bugs; documentation

• idep: libghc-io-streams-doc

  simple, composable, and easy-to-use stream I/O; documentation

• idep: libghc-lens-doc

  Lenses, Folds and Traversals; documentation

• idep: libghc-libbf-doc

  Binding to the libBF library; documentation

• idep: libghc-lumberjack-doc

  Trek through your code forest and make logs; documentation

• idep: libghc-panic-doc

  convenient way to panic; documentation

• idep: libghc-parameterized-utils-doc

  Classes/data structures for data-kind indexed types; documentation

• idep: libghc-prettyprinter-doc

  modern, easy-to-use, extensible prettyprinter; documentation

• idep: libghc-quickcheck2-doc

  Haskell automatic testing library for GHC; documentation

• idep: libghc-scientific-doc

  scientific notation for floating-point numbers; documentation

• idep: libghc-tasty-doc

  Haskell testing framework; documentation

• idep: libghc-tasty-checklist-doc

  Check multiple items during a tasty test; documentation

• idep: libghc-tasty-expected-failure-doc

  mark tasty tests as failure-expected; documentation

• idep: libghc-tasty-hedgehog-doc

  hedgehog-tasty integration; documentation

• idep: libghc-tasty-hunit-doc

  Haskell testing framework, HUnit support; documentation

• idep: libghc-tasty-quickcheck-doc

  Haskell testing framework, QuickCheck support; documentation

• idep: libghc-temporary-doc

  Temporary files and directories; documentation

• idep: libghc-th-abstraction-doc

  nicer interface for reified information about data types; documentation

• idep: libghc-th-lift-doc

  derive Template Haskell's Lift class for datatypes.; documentation

• idep: libghc-th-lift-instances-doc

  Lift instances for template-haskell for common data types; documentation

• idep: libghc-unordered-containers-doc

  Efficient hashing-based container types; documentation

• idep: libghc-utf8-string-doc

  GHC libraries for the Haskell UTF-8 library (documentation)

• idep: libghc-vector-doc

  Efficient Arrays for Haskell; documentation

• idep: libghc-versions-doc

  Types and parsers for software version numbers.; documentation

• idep: libghc-zenc-doc

  GHC style name Z-encoding and Z-decoding; documentation

Download haskell-what4

Debian 套件原始碼倉庫（VCS：Git）

https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-what4]

Debian 套件原始碼倉庫（可線上瀏覽）

https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-what4