libwhy-coq_2.39-2build1_all.deb 的下載頁面
如果您正在使用 Trisquel，請儘量使用像 aptitude 或者
您可以使用以下列表中的任何一個鏡像站，只要在您的 /etc/apt/sources.list 文件中像下面這樣添加一行：
deb http://es.archive.trisquel.info/trisquel etiona main
請使用最終確定的鏡像站替換 es.archive.trisquel.info/trisquel。
您可以從以下任意站台的 pool/main/w/why/ 子目錄中下載所需的文件：
北美洲
南美洲
亞洲
歐洲
- es.archive.trisquel.info/trisquel
- fr.archive.trisquel.info/trisquel
- quantum-mirror.hu/mirrors/pub/trisquel/packages
- ftp.caliu.cat/pub/distribucions/trisquel/packages
- mirror.librelabucm.org/trisquel
- ftp.acc.umu.se/mirror/trisquel/packages
- mirror.linux.pizza/trisquel/packages
- ftpmirror1.infania.net/mirror/trisquel/packages
如果您感覺以上站台的速度都不夠理想，請檢視我們的完整鏡像站列表。
注意: 某些瀏覽器需要您明確告訴它們，您僅僅是想保存這些文件，並非檢視或執行它們。對於 Firefox 或者 Mozilla ，您可能需要在按住 Shift 鍵的同時點擊上面的 URL 超連結。
有關 libwhy-coq_2.39-2build1_all.deb 的更多資訊：
| 實際大小 | 35376 位元(34.5 kByte) |
|---|---|
| MD5 檢查碼 | f674a4328d72d6599fc3504b361cd03a |
| SHA1 檢查碼 | 9a5ff6324a3adc26bbd993bd94ec65bd51c33e41 |
| SHA256 檢查碼 | 35842ea725579bf8416d8e4bf958f2cf75ecbdce24f01c4529c8cbce769c8850 |