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