Страница загрузки пакета libghc-agda-dev_2.6.4.3-1+b2_arm64.deb для архитектуры 64-bit ARMv8

If you are running eLxr, it is strongly suggested to use a package manager like apt to download and install packages, instead of doing so manually via this website.

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

deb http://mirror.elxr.dev/elxr bianca main

Заменив mirror.elxr.dev/elxr нужным сервером.

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

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

Подробней о libghc-agda-dev_2.6.4.3-1+b2_arm64.deb:

Точный размер 24469636 байт (23,3 MByte)
Контрольная сумма MD5 8f69d8d06e4a9d85ae2112431a2b9172
Контрольная сумма SHA1 468f0768740f9639a4d5a0cc684531f9f43020ca
Контрольная сумма SHA256 0314a481878964c5bbfc744c80aabf7aaeaeb71e0760e24afbbffb2fd369f359