eprover_3.2.5+ds-1_amd64.deb (AMD64) İndirme Sayfası

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.

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

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

mirror.elxr.dev/elxr yerine kullanmak istediğiniz yansının adresini yazın.

İstenilen dosyayı aşağıdaki sitelerin herhangi birindeki pool/main-debian-community/e/eprover/ alt dizininden indirebilirsiniz:

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.

eprover_3.2.5+ds-1_amd64.deb hakkında daha fazla bilgi:

Tam Boyut 1046040 Bayt (1.021,5 kByte)
MD5 sağlama toplamı b32242ba7957fb4d8eae777f83cff0cf
SHA1 sağlama toplamı c816c1dbf9e542f9e8e548947c26556cf6b3fb7f
SHA256 sağlama toplamı 3646f4ff5703b1755d2242b9d1599be2da89719329a45a758459424d6b94fbaf