Hämtningssida för z3_4.8.12-3.1+b2_riscv64.deb på RISC-V 64-bit little endian (riscv64)-maskiner

Om du kör Debian 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://ftp.de.debian.org/debian trixie main 

Ersätt ftp.de.debian.org/debian med spegeln i fråga.

Du kan hämta den önskade filen från underkatalogen pool/main/z/z3/ på någon av dessa platser:

Nordamerika

Sydamerika

Asien

Afrika

Europa

Oceania

Om ingen av platserna ovan är snabb nog för dig, se vår fullständiga spegelförteckning.

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 z3_4.8.12-3.1+b2_riscv64.deb:

Exakt storlek 7419024 byte (7,1 MByte)
MD5-kontrollsumma 73238c90d3bd84dcb761f9a0a7b8eb1e
SHA1-kontrollsumma Ej tillgänglig
SHA256-kontrollsumma f8dd48a9c81e1bd11e0345e7c647466b80d1c9e3a84595abd3786782d8aae654