Skip to content
Sections
>>
Trisquel
>>
Pakiety
>>
nabia
>>
agda-mode
>>
all
>> Lista plików
Lista plików pakietu
agda-mode
z gałęzi
nabia
na architekturę
all
/usr/share/doc/agda-mode/changelog.Debian.gz /usr/share/doc/agda-mode/copyright