| package | filename | size | different function |
|---|---|---|---|
| agda | ./usr/share/doc/agda/copyright | 3.3 KB | |
| elpa-agda2-mode | ./usr/share/doc/elpa-agda2-mode/copyright | 3.3 KB | |
| libghc-agda-doc | ./usr/share/doc/libghc-agda-doc/copyright | 3.3 KB | |
| agda-bin | ./usr/share/doc/agda-bin/copyright | 3.3 KB | |
| libghc-agda-dev | ./usr/share/doc/libghc-agda-dev/copyright | 3.3 KB |