Version of libghc-copilot-theorem-prof: 4.3-1
Architecture of libghc-copilot-theorem-prof: amd64
Version of libghc-copilot-theorem-dev: 4.3-1
Architecture of libghc-copilot-theorem-dev: amd64
| libghc-copilot-theorem-prof | libghc-copilot-theorem-dev | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 2.0 KB | ./usr/share/doc/libghc-copilot-theorem-prof/copyright | sha512 | ./usr/share/doc/libghc-copilot-theorem-dev/copyright |
| 1.2 KB | ./usr/share/doc/libghc-copilot-theorem-prof/changelog.gz | gzip_sha512, sha512 | ./usr/share/doc/libghc-copilot-theorem-dev/changelog.gz |
| 577 B | ./usr/share/doc/libghc-copilot-theorem-prof/changelog.Debian.gz | gzip_sha512, sha512 | ./usr/share/doc/libghc-copilot-theorem-dev/changelog.Debian.gz |