all options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]

Source Package: haskell-smtlib (1.1-1)

Links for haskell-smtlib

Debian Resources:

Maintainers:

The following binary packages are built from this source package:
libghc-smtlib-dev
A library for working with the SMTLIB format.
libghc-smtlib-doc
A library for working with the SMTLIB format.; documentation
libghc-smtlib-prof
A library for working with the SMTLIB format.; profiling libraries

Other Packages Related to haskell-smtlib

  • build-depends
  • build-depends-indep

Download haskell-smtlib

FileSize (in kB)MD5 checksum
haskell-smtlib_1.1-1.dsc 2.2 kB 024c6782a4d5e57e4580a1ed38d6f7cb
haskell-smtlib_1.1.orig.tar.gz 9.4 kB 6c882a2866a94c7f0153b081d3d6bf13
haskell-smtlib_1.1-1.debian.tar.xz 2.5 kB a135853bee47d5e88a2191bd57ec7003
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-smtlib]
Debian Package Source Repository (Browsable)
https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-smtlib