packagesSťahovacia stránka pre python3-z3_4.13.3-1_riscv64.deb na strojoch RISC-V 64-bit little endian (riscv64)
Ak používate Ubuntu, dôrazne sa odporúča používať správcu balíkov ako aptitude alebo synaptic na sťahovanie a inštaláciu balíkov namiesto manuálneho sťahovania z tejto webstránky.
Mali by ste byť schopný použiť ktorékoľvek z uvedených zrkadiel pridaním riadka do vášho súboru /etc/apt/sources.list takto:
deb http:// questing main universe
Kde nahradíte dotyčným zrkadlom.
Požadovaný súbor môžete stiahnuť z podadresára pool/universe/z/z3/ na ktorejkoľvek z týchto lokalít:
V niektorých prehliadačoch budete musieť prehliadaču povedať, že chcete súbor uložiť na disk. Napr. vo Firefoxe alebo Mozille by ste bali pri kliknutí na odkaz podržať kláves Shift.
Ďalšie informácie o python3-z3_4.13.3-1_riscv64.deb:
| Presná veľkosť | 84988 bajtov (83.0 kByte) |
|---|---|
| kontrolný súčet MD5 | 91d78a718047bca38bf91e5eb87242c1 |
| kontrolný súčet SHA1 | 0b85a589e12e5d32bd166903b1594b760ef10d71 |
| kontrolný súčet SHA256 | 592582477dadc9b9a795ad5bcfeee76483df9be0c6601822caff8102e54035b0 |