libghc-agda-dev_2.6.2.2-1.1_amd64.deb (AMD64) İndirme Sayfası

Eğer Debian kullanıyorsanız, paketleri indirmek ve kurmak için bu siteyi kullanmak yerine aptitude veya synaptic benzeri bir paket yönetici kullanmanız şiddetle tavsiye edilir.

Listelenmiş yansılardan herhangi birini kullanmak için /etc/apt/sources.list dosyanıza şu şekilde bir satır ekleyebilirsiniz:

deb http://ftp.de.debian.org/debian bookworm main

ftp.de.debian.org/debian yerine kullanmak istediğiniz yansının adresini yazın.

İstenilen dosyayı aşağıdaki sitelerin herhangi birindeki pool/main/a/agda/ alt dizininden indirebilirsiniz:

Kuzey Amerika

Güney Amerika

Asya

Afrika

Avrupa

Okyanusya

Eğer yukarıdaki sitelerden hiçbiri sizin için yeterince hızlı değilse, lütfen tam yansı listemize bakın.

Bazı tarayıcılarda, tarayıcınıza dosyayı kaydetmek istediğinizi söylemeniz gerekir. Örneğin Firefox veya Mozilla içerisinde adrese tıkladığınızda ÜstKarakter (Shift) tuşunu basılı tutmalısınız.

libghc-agda-dev_2.6.2.2-1.1_amd64.deb hakkında daha fazla bilgi:

Tam Boyut 24853036 Bayt (23,7 MByte)
MD5 sağlama toplamı a827c1f62cb35f810525e042da8a4b4e
SHA1 sağlama toplamı Kullanılamıyor
SHA256 sağlama toplamı 3b1e6380dc53a3cf5f628f3a537af8be654e881a1f7c4409e108a59ed7e2c360