all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: haskell-what4 (1.3-4)

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

  • build-depends
  • build-depends-indep

Download haskell-what4

FileSize (in kB)MD5 checksum
haskell-what4_1.3-4.dsc 5.6 kB 87752c59b0f76f8efc328171c3ba4694
haskell-what4_1.3.orig.tar.gz 363.6 kB df1de622e4410ccf1adbb3e12437c0ae
haskell-what4_1.3-4.debian.tar.xz 3.6 kB 973f47c2a4efc22d809238e9b616dff2
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-what4]
Debian Package Source Repository (Browsable)
https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-what4