Skip to content
Sections
>> Trisquel >> Пакеты >> aramo >> acl2-books-source >> all >> Загрузить

Страница загрузки пакета acl2-books-source_8.4dfsg-2_all.deb

Если вы работаете в Trisquel, для загрузки и установки пакетов настоятельно советуем использовать менеджер пакетов, например aptitude или synaptic, а не делать это вручную через данный сайт.

Используйте любой из серверов-зеркал, добавив его в свой файл /etc/apt/sources.list, например так:

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

Заменив es.archive.trisquel.info/trisquel нужным сервером.

Вы можете скачать требуемый файл из подкаталога pool/main/a/acl2/ с любого из этих сайтов:

Если загрузка с этих сайтов происходит медленно, попробуйте другие из полного списка серверов-зеркал.

Заметим, что при работе с некоторыми браузерами вам придётся указать браузеру, что вы хотите сохранить информацию в файл. Например, в Firefox или Mozilla вам нужно удерживать клавишу Shift при щелчке по URL.

Подробней о acl2-books-source_8.4dfsg-2_all.deb:

Точный размер 22136204 байт (21,1 MByte)
Контрольная сумма MD5 bdac833b2be3cfa7afeac7fef92ec100
Контрольная сумма SHA1 ccdf7e6e2d023df946f6471e99847eccb401a80b
Контрольная сумма SHA256 cc375903823ca76d8cb49e38368c84c409c059f30fd1f172e4b221f9c8ad309e