用在 AMD64 上 minisat_2.2.1-5+b3_amd64.deb 的下載頁面

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

您可以使用以下列表中的任何一個源映象只要往您的 /etc/apt/sources.list 檔案中像下面這樣新增一行:

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

請使用最終確定的源映象替換 ftp.de.debian.org/debian

您可以從以下任意站點的 pool/main/m/minisat2/ 子目錄中下載所需的檔案:

北美洲

南美洲

亞洲

非洲

歐洲

大洋洲

如果您感覺以上站點的速度都不夠理想,請檢視我們的完整源映象列表

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

有關 minisat_2.2.1-5+b3_amd64.deb 的更多資訊:

實際大小 84904 位元組(82。9 kB)
MD5 校驗碼 a1a06e1c37a39b222b8dd2501c7558e0
SHA1 校驗碼 不存在
SHA256 校驗碼 aaa8f62db0c9f80492f9da4bc06c3e8829fdb84692590750b9124d9a85c92ff0