» Ubuntu » Paket » questing » python3-cvc5 » riscv64 » Hämta

Hämtningssida för python3-cvc5_1.1.2-2build1_riscv64.deb på RISC-V 64-bit little endian (riscv64)-maskiner

Om du kör Ubuntu rekommenderas det å det bestämdaste att du använder en pakethanterare som aptitude eller synaptic för att hämta och installera paket, istället för att göra det manuellt via webbplatsen.

Du bör kunna använda valfri av de angivna speglarna genom att lägga till en rad i din /etc/apt/sources.list på den här formen:

deb http:// questing main universe

Ersätt med spegeln i fråga.

Du kan hämta den önskade filen från underkatalogen pool/universe/c/cvc5/ på någon av dessa platser:

Observera att du i vissa webbläsare måste tala om att du vill att filen skall sparas. I Firefox och Mozilla, till exempel, håller du ned Skift-tangenten medan du klickar på webbadressen.

Ytterligare information om python3-cvc5_1.1.2-2build1_riscv64.deb:

Exakt storlek 361754 byte (353,3 kByte)
MD5-kontrollsumma ccf29783104eed4bdde25f8c2e3c2ee3
SHA1-kontrollsumma 976e4a1707e6e2ec86260084f20b9ec81d136ff3
SHA256-kontrollsumma 2bc7a5ff24aa175ff62d7f9889c72aeaa8ae68bf423fdee8e013d10bdb49780c