» Ubuntu » Пакети » xenial » agda-mode » all » Изтегляне

Страница за изтегляне на agda-mode_2.4.2.5-1build1_all.deb

Ако използвате Ubuntu се препоръчва използването на програма за управление на пакетите като aptitude или synaptic за изтегляне и инсталиране на пакети, вместо ръчната процедура.

Можете да използвате всеки от показаните огледални сървъри чрез добавяне на ред в /etc/apt/sources.list, подобен на този:

deb http://cz.archive.ubuntu.com/ubuntu xenial main universe

Заместете cz.archive.ubuntu.com/ubuntu с предпочитания огледален сървър.

Можете да изтеглите искания файл от директорията pool/universe/a/agda/ на всеки от следните сайтове:

Ако никой от горните сървъри не е достатъчно бърз за вас, вижте пълния списък с огледални сървъри.

На някои браузъри трябва изрично да се каже да запишат изтеглянето във файл. Във Firefox или Mozilla, например, това става със задържане на клавиша Shift при избиране на връзката.

Още информация за agda-mode_2.4.2.5-1build1_all.deb:

Точна големина 37272 байт (36,4 kByte)
контролна сума MD5 f08dc824aab02a3687b9b9eeb69655c3
контролна сума SHA1 7cda99f8a6e7cff6d37ced32ca49c8a83d7a3000
контролна сума SHA256 8d5f750653efc0dfa03a458c9e6ead43539db5c1daa69e5528fb7f2d012155a3