| package | filename | size | different function |
|---|---|---|---|
| libghc-copilot-theorem-doc | ./usr/share/doc/libghc-copilot-theorem-doc/copyright | 2.0 KB | |
| libghc-copilot-theorem-dev | ./usr/share/doc/libghc-copilot-theorem-dev/copyright | 2.0 KB | |
| libghc-copilot-theorem-prof | ./usr/share/doc/libghc-copilot-theorem-prof/copyright | 2.0 KB |