Skip to content
Sections
>> Trisquel >> Пакеты >> aramo >> libghc-smtlib-prof >> amd64 >> Загрузить

Страница загрузки пакета libghc-smtlib-prof_1.1-1build2_amd64.deb для архитектуры AMD64

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

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

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

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

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

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

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

Подробней о libghc-smtlib-prof_1.1-1build2_amd64.deb:

Точный размер 389060 байт (379,9 kByte)
Контрольная сумма MD5 680b8a6bc3281d6262cec8b5d92b7e2c
Контрольная сумма SHA1 5baaad39d86a98334ead6ea25672122b8c11abcb
Контрольная сумма SHA256 d5a90895a64750563007e6bb444a20d669171524fb49e3ee2df2734141a81222