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