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

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

Если вы работаете в 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_armhf.deb:

Точный размер 448776 байт (438,3 kByte)
Контрольная сумма MD5 0ad68cc6bcbb3f574e3cd6a2ee4ae9bc
Контрольная сумма SHA1 b661af0b5cf7023078c695e96c374f7703511060
Контрольная сумма SHA256 9c3466030b9609a09b205c07dd6340cf7762db56e83a6153fb2001f3bd5279ad