haskell-smtlib 1.0.7-3 source package in Ubuntu
Changelog
haskell-smtlib (1.0.7-3) unstable; urgency=medium * Add missing Vcs-Git/Vcs-Browser headers. -- Clint Adams <email address hidden> Thu, 03 Dec 2015 14:55:04 -0500
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 | |
---|---|---|---|---|
Xenial | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-smtlib_1.0.7-3.dsc | 2.2 KiB | 4382232b18b51d2264bf366396d49bb173c58712df9a0deaa884af8ce1dcdf20 |
haskell-smtlib_1.0.7-3.debian.tar.xz | 2.0 KiB | 870d4bbdd86a9d19144791d54ceaed776f1734219aaa5b1e125d6d958b5a110e |
haskell-smtlib_1.0.7.orig.tar.gz | 9.3 KiB | 6e660125d16c7ad42120df7fb0bd53d1d0614532ed3956aa34f6bcd3413ac2ca |
Available diffs
- diff from 1.0.7-1 to 1.0.7-3 (684 bytes)
No changes file available.
Binary packages built by this source
- libghc-smtlib-dev: No summary available for libghc-smtlib-dev in ubuntu yakkety.
No description available for libghc-smtlib-dev in ubuntu yakkety.
- 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.