| package | filename | size | different function |
|---|---|---|---|
| agda | ./usr/share/doc/agda/changelog.gz | 337 B | |
| elpa-agda2-mode | ./usr/share/doc/elpa-agda2-mode/changelog.gz | 337 B | |
| libghc-agda-doc | ./usr/share/doc/libghc-agda-doc/changelog.gz | 337 B | |
| agda-bin | ./usr/share/doc/agda-bin/changelog.gz | 337 B | |
| libghc-agda-dev | ./usr/share/doc/libghc-agda-dev/changelog.gz | 337 B |