Skip to content
Sections
>>
Trisquel
>>
Packages
>>
nabia
>>
agda
>>
all
>> File list
File list of package
agda
in
nabia
of architecture
all
/usr/share/doc/agda/changelog.Debian.gz /usr/share/doc/agda/copyright