haskell-smtlib 1.0.8-3build1 source package in Ubuntu
Changelog
haskell-smtlib (1.0.8-3build1) zesty; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Tue, 24 Jan 2017 11:47:22 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Zesty
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-smtlib_1.0.8.orig.tar.gz | 9.3 KiB | 37016f9322742c88c89d692e62d01c419b03242bbc6d84da4dab772408ad21a9 |
haskell-smtlib_1.0.8-3build1.debian.tar.xz | 2.2 KiB | c9540174893bc25d52809b4f23e365d960a9b418e8723a5ffb50b477637895ee |
haskell-smtlib_1.0.8-3build1.dsc | 2.1 KiB | d6e046c63b26c3209493d7341a79841a06955e1fe5417fffbf349f0b8274ae75 |
Available diffs
- diff from 1.0.8-3 (in Debian) to 1.0.8-3build1 (345 bytes)
Binary packages built by this source
- libghc-smtlib-dev: No summary available for libghc-smtlib-dev in ubuntu artful.
No description available for libghc-smtlib-dev in ubuntu artful.
- libghc-smtlib-doc: No summary available for libghc-smtlib-doc in ubuntu zesty.
No description available for libghc-smtlib-doc in ubuntu zesty.
- libghc-smtlib-prof: No summary available for libghc-smtlib-prof in ubuntu zesty.
No description available for libghc-smtlib-prof in ubuntu zesty.