» Ubuntu » Pakiety » questing » libcoq-mathcomp-classical » amd64 » Pobieranie

Strona pobierania dla libcoq-mathcomp-classical_1.9.0-1build4_amd64.deb dla architektury AMD64

Jeśli korzystasz z systemu Ubuntu, jest wysoce zalecane, aby użyć menedżera pakietów takiego jak aptitude lub synaptic do pobrania i zainstalowania pakietów, zamiast robić to ręcznie poprzez tę stronę.

Powinno być możliwe użycie dowolnego z podanych serwerów lustrzanych, przez dodanie odpowiedniego wiersza do /etc/apt/sources.list np.:

deb http://cz.archive.ubuntu.com/ubuntu questing main universe

Należy zamienić cz.archive.ubuntu.com/ubuntu na żądany serwer lustrzany.

Można pobrać żądany plik z podkatalogu pool/universe/m/mathcomp-analysis/ z dowolnej z poniższych stron:

Jeśli żadna z powyższych stron nie jest wystarczająco szybka, proszę zapoznać się z naszą kompletną listą serwerów lustrzanych.

Niektórym przeglądarkom internetowym należy przekazać informację o potrzebie zapisania pliku do pliku. Przykładowo, w Firefoksie i Mozilli, klikając na URL, należy przytrzymać klawisz Shift.

Więcej informacji o libcoq-mathcomp-classical_1.9.0-1build4_amd64.deb:

Dokładny rozmiar 3851106 bajtów (3,7 MByte)
Suma kontrolna MD5 d034d7e608144ea18e2b63cdb8778523
Suma kontrolna SHA1 e19baf391bf25907451746d7fd3979c67de5275d
Suma kontrolna SHA256 280855651979b961c340c2be66636b4c58db4012e2c07fa76029f9d7fe266dc2