haskell-smtlib 1.1-1 source package in Ubuntu
Changelog
haskell-smtlib (1.1-1) unstable; urgency=medium * New upstream release -- Ilias Tsitsimpis <email address hidden> Mon, 08 Jun 2020 16:55:19 +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 |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| haskell-smtlib_1.1-1.dsc | 2.2 KiB | 3479d7decbe496ec907f206343a363cfc218009f1b60e1a9ab88857b7fdc579b |
| haskell-smtlib_1.1.orig.tar.gz | 9.4 KiB | 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f |
| haskell-smtlib_1.1-1.debian.tar.xz | 2.5 KiB | c9f1a85794dcebb79caa578aa0b900f6772e5da719497ad9ce3a5c9c06f70930 |
Available diffs
No changes file available.
Binary packages built by this source
- libghc-smtlib-dev: No summary available for libghc-smtlib-dev in ubuntu groovy.
No description available for libghc-smtlib-dev in ubuntu groovy.
- libghc-smtlib-doc: No summary available for libghc-smtlib-doc in ubuntu groovy.
No description available for libghc-smtlib-doc in ubuntu groovy.
- libghc-smtlib-prof: No summary available for libghc-smtlib-prof in ubuntu groovy.
No description available for libghc-smtlib-prof in ubuntu groovy.
