Version of libghc-simple-smt-dev: 0.9.7-4+b1
Architecture of libghc-simple-smt-dev: amd64
Version of libghc-simple-smt-prof: 0.9.7-4+b1
Architecture of libghc-simple-smt-prof: amd64
| libghc-simple-smt-dev | libghc-simple-smt-prof | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 1.9 KB | ./usr/share/doc/libghc-simple-smt-dev/copyright | sha512 | ./usr/share/doc/libghc-simple-smt-prof/copyright |
| 387 B | ./usr/share/doc/libghc-simple-smt-dev/changelog.gz | gzip_sha512, sha512 | ./usr/share/doc/libghc-simple-smt-prof/changelog.gz |
| 243 B | ./usr/share/doc/libghc-simple-smt-dev/changelog.Debian.amd64.gz | gzip_sha512, sha512 | ./usr/share/doc/libghc-simple-smt-prof/changelog.Debian.amd64.gz |