Skip to content
Sections
>> Trisquel >> Пакеты >> etiona >> libssreflect-coq >> all >> Загрузить

Страница загрузки пакета libssreflect-coq_1.6.1-3build1_all.deb

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

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

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

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

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

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

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

Подробней о libssreflect-coq_1.6.1-3build1_all.deb:

Точный размер 24199944 байт (23,1 MByte)
Контрольная сумма MD5 8a4cf4fc64df838fed5126f3f4d9ceb0
Контрольная сумма SHA1 5044b7d4612eeb1322c2a98561d241cb9b10c30e
Контрольная сумма SHA256 4726f6062f2061503f0c28a7c5e62447bbc5ecd4624f35245d32467f7678ccf9