| package | filename | size | different function |
|---|---|---|---|
| libghc-copilot-theorem-doc | ./usr/share/doc/libghc-copilot-theorem-doc/changelog.gz | 1.2 KB | |
| libghc-copilot-theorem-dev | ./usr/share/doc/libghc-copilot-theorem-dev/changelog.gz | 1.2 KB | |
| libghc-copilot-theorem-prof | ./usr/share/doc/libghc-copilot-theorem-prof/changelog.gz | 1.2 KB |