haskell-smtlib 1.1-3 source package in Ubuntu
Changelog
haskell-smtlib (1.1-3) unstable; urgency=medium * Remove developer Kristoffer H Rose from Uploaders. * Declare compliance with Debian policy 4.6.2 * Sourceful upload for GHC 9.4 -- Ilias Tsitsimpis <email address hidden> Sun, 27 Aug 2023 12:40:08 +0300
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Oracular | release | universe | misc | |
Noble | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-smtlib_1.1-3.dsc | 2.2 KiB | 6ddedce7cab05396197e860a840d37604324ec96114f15cdbcd08cc51512eb02 |
haskell-smtlib_1.1.orig.tar.gz | 9.4 KiB | 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f |
haskell-smtlib_1.1-3.debian.tar.xz | 2.5 KiB | c4187bfb6d414496681d0032de0ce37cd42b157a58631934eb410890a8595630 |
Available diffs
- diff from 1.1-2build2 (in Ubuntu) to 1.1-3 (810 bytes)
No changes file available.
Binary packages built by this source
- libghc-smtlib-dev: A library for working with the SMTLIB format.
.
.
This package provides a library for the Haskell programming language.
See http://www.haskell. org/ for more information on Haskell.
- libghc-smtlib-doc: A library for working with the SMTLIB format.; documentation
.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://www.haskell. org/ for more information on Haskell.
- libghc-smtlib-prof: A library for working with the SMTLIB format.; profiling libraries
.
.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://www.haskell. org/ for more information on Haskell.