Trisquel -- 套件下載選擇 -- libcoq-elpi-ocaml-dev_1.13.0-1

用在 AMD64 上 `libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb` 的下載頁面

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

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

deb http://es.archive.trisquel.info/trisquel aramo main

請使用最終確定的鏡像站替換 es.archive.trisquel.info/trisquel。

您可以從以下任意站台的 pool/main/c/coq-elpi/ 子目錄中下載所需的文件：

北美洲

南美洲

亞洲

歐洲

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

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