Skip to content
Sections
>> Trisquel >> 套件 >> nabia >> agda >> all >> 文件清單

在 nabia 發行版中 all 硬體架構下的 agda 套件文件清單

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