» Ubuntu » 套件 » questing » python3-cvc5 » riscv64 » 下載

用在 RISC-V 64-bit little endian (riscv64) 上 python3-cvc5_1.1.2-2build1_riscv64.deb 的下載頁面

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

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

deb http:// questing main universe

請使用最終確定的鏡像站替換 。

您可以從以下任意站台的 pool/universe/c/cvc5/ 子目錄中下載所需的文件：

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

有關 python3-cvc5_1.1.2-2build1_riscv64.deb 的更多資訊：

實際大小 361754 位元(353.3 kByte)
MD5 檢查碼 ccf29783104eed4bdde25f8c2e3c2ee3
SHA1 檢查碼 976e4a1707e6e2ec86260084f20b9ec81d136ff3
SHA256 檢查碼 2bc7a5ff24aa175ff62d7f9889c72aeaa8ae68bf423fdee8e013d10bdb49780c