Version of libghc-smtlib-dev: 1.1-5+b1
Architecture of libghc-smtlib-dev: amd64
Version of libghc-smtlib-doc: 1.1-5
Architecture of libghc-smtlib-doc: all
| libghc-smtlib-dev | libghc-smtlib-doc | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 1.4 KB | ./usr/share/doc/libghc-smtlib-dev/copyright | sha512 | ./usr/share/doc/libghc-smtlib-doc/copyright |
| 64 B | ./usr/share/doc/libghc-smtlib-dev/changelog.gz | gzip_sha512, sha512 | ./usr/share/doc/libghc-smtlib-doc/changelog.gz |