| package | filename | size | different function |
|---|---|---|---|
| libghc-copilot-theorem-doc | ./usr/share/doc/libghc-copilot-theorem-doc/changelog.Debian.gz | 577 B | |
| libghc-copilot-theorem-dev | ./usr/share/doc/libghc-copilot-theorem-dev/changelog.Debian.gz | 577 B | |
| libghc-copilot-theorem-prof | ./usr/share/doc/libghc-copilot-theorem-prof/changelog.Debian.gz | 577 B |