Strona pobierania dla libcoq-dpdgraph_1.0+8.20-1+b4_amd64.deb dla architektury AMD64

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.

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

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

Należy zamienić mirror.elxr.dev/elxr na żądany serwer lustrzany.

Można pobrać żądany plik z podkatalogu pool/main-debian-community/c/coq-dpdgraph/ z dowolnej z poniższych stron:

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-dpdgraph_1.0+8.20-1+b4_amd64.deb:

Dokładny rozmiar 36852 bajtów (36,0 kByte)
Suma kontrolna MD5 b8416517eeb3d6b0f30043c51c4c8a9e
Suma kontrolna SHA1 8e81b5913732f5f97285c8faf37cc6dafd3d397b
Suma kontrolna SHA256 a37439e9a5d9e3af10ed2ea192cca98187ed665dbc428d60ce5cbdd7c4161f85