Hämtningssida för cbmc_5.95.1-4_ia64.deb på Intel IA-64-maskiner

Om du kör Debian rekommenderas det å det bestämdaste att du använder en pakethanterare som aptitude eller synaptic för att hämta och installera paket, istället för att göra det manuellt via webbplatsen.

Du bör kunna använda valfri av de angivna speglarna genom att lägga till en rad i din /etc/apt/sources.list på den här formen:

deb http://ftp.ports.debian.org/debian-ports/ sid main

Ersätt ftp.ports.debian.org/debian-ports/ med spegeln i fråga.

Du kan hämta den önskade filen från underkatalogen pool-ia64/main/c/cbmc/ på någon av dessa platser:

Asien

Europa

Om ingen av platserna ovan är snabb nog för dig, se vår fullständiga spegelförteckning.

Note that Intel IA-64 is not officially included in the Debian archive, but the Intel IA-64 porter group keeps their archive in sync with the official archive as close as possible. See the Intel IA-64 ports page for current information.

Observera att du i vissa webbläsare måste tala om att du vill att filen skall sparas. I Firefox och Mozilla, till exempel, håller du ned Skift-tangenten medan du klickar på webbadressen.

Ytterligare information om cbmc_5.95.1-4_ia64.deb:

Exakt storlek 23748904 byte (22,7 MByte)
MD5-kontrollsumma e00458ecb0a37302a32e28d3ad8858e6
SHA1-kontrollsumma Ej tillgänglig
SHA256-kontrollsumma 3106a8b73b69d2230d39756fe6b8476198624b214a563f6c591a1fb549f37101