» Ubuntu » Пакеты » questing » agda » all » Список файлов

Список файлов пакета agda в questing для архитектуры all

/usr/share/doc/agda/changelog.Debian.gz
/usr/share/doc/agda/copyright