Sťahovacia stránka pre libcoq-unimath_20231010-1build3_arm64.deb na strojoch 64-bit ARMv8
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:// noble main universe
Kde nahradíte dotyčným zrkadlom.
Požadovaný súbor môžete stiahnuť z podadresára pool/universe/c/coq-unimath/ 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 libcoq-unimath_20231010-1build3_arm64.deb:
Presná veľkosť | 48761852 bajtov (46.5 MByte) |
---|---|
kontrolný súčet MD5 | 91655104cf1a3aeeda6c2138e229cfde |
kontrolný súčet SHA1 | 733536fd0e9845e7ccd6ebcb26ae488590a59529 |
kontrolný súčet SHA256 | ca338fd7b0b0e2eb0dd2f08e84ce04d1c35ad758c87ed68d31b64f492ce645b7 |