用在 MIPS (big-endian) 上 cbmc_4.1-1.2_mips.deb 的下載頁面

如果您正在使用 Debian,請儘量使用像 aptitude 或者 synaptic 的套件管理程式,代替人工手動操作的方式從這個網頁下載並安裝套件。

您可以使用以下列表中的任何一個鏡像站,只要在您的 /etc/apt/sources.list 文件中像下面這樣添加一行:

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

請使用最終確定的鏡像站替換 ftp.de.debian.org/debian

您可以從以下任意站台的 pool/main/c/cbmc/ 子目錄中下載所需的文件:

北美洲

南美洲

亞洲

非洲

歐洲

Oceania

如果您感覺以上站台的速度都不夠理想,請檢視我們的完整鏡像站列表

注意: 某些瀏覽器需要您明確告訴它們,您僅僅是想保存這些文件,並非檢視或執行它們。對於 Firefox 或者 Mozilla ,您可能需要在按住 Shift 鍵的同時點擊上面的 URL 超連結。

有關 cbmc_4.1-1.2_mips.deb 的更多資訊:

實際大小 4195164 位元(4.0 MByte)
MD5 檢查碼 8ffd5c4a858a8eca73d6713097445f64
SHA1 檢查碼 458e5b85ed6728425ae4aaee6687df55ab4e3a52
SHA256 檢查碼 b40053c659acf47a3f7aba10ea4be53e3666e8483d01226b9669529e37a3d0b3