» Ubuntu » Packages » questing (25.10) » haskell » libghc-simple-smt-dev
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Source: haskell-simple-smt  ]

Package: libghc-simple-smt-dev (0.9.7-3) [universe]

Links for libghc-simple-smt-dev

Screenshot

Ubuntu Resources:

Download Source Package haskell-simple-smt:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

A simple way to interact with an SMT solver process.

Other Packages Related to libghc-simple-smt-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-simple-smt-dev

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 103.8 kB802.0 kB [list of files]
arm64 109.4 kB940.0 kB [list of files]
armhf 136.7 kB1,012.0 kB [list of files]
ppc64el 131.1 kB1,259.0 kB [list of files]
riscv64 186.7 kB1,598.0 kB [list of files]
s390x 171.6 kB1,616.0 kB [list of files]