Skip to content
Sections
>> Trisquel >> Balíky >> etiona >> libghc-agda-doc >> all >> Stiahnuť

Sťahovacia stránka pre libghc-agda-doc_2.5.3-3build1_all.deb

Ak používate Trisquel, dôrazne sa odporúča používať správcu balíkov ako aptitude alebo synaptic na sťahovanie a inštaláciu balíkov namiesto manuálneho sťahovania z tejto webstránky.

Mali by ste byť schopný použiť ktorékoľvek z uvedených zrkadiel pridaním riadka do vášho súboru /etc/apt/sources.list takto:

deb http://es.archive.trisquel.info/trisquel etiona main 

Kde es.archive.trisquel.info/trisquel nahradíte dotyčným zrkadlom.

Požadovaný súbor môžete stiahnuť z podadresára pool/main/a/agda/ na ktorejkoľvek z týchto lokalít:

Ak žiadna z hore uvedených lokalít pre vás nie je dosť rýchla, pozrite si prosím náš úplný zoznam zrkadiel.

V niektorých prehliadačoch budete musieť prehliadaču povedať, že chcete súbor uložiť na disk. Napr. vo Firefoxe alebo Mozille by ste bali pri kliknutí na odkaz podržať kláves Shift.

Ďalšie informácie o libghc-agda-doc_2.5.3-3build1_all.deb:

Presná veľkosť 2752184 bajtov (2.6 MByte)
kontrolný súčet MD5 1a966758bf09642da2b8264dbca7c011
kontrolný súčet SHA1 31f729097cd7a74424872eb04cc7340000752f7c
kontrolný súčet SHA256 c3a8d519bed8eba3d95cde6b1345bb6c32a3063ff8763f23264189da7fd8cf8c