» Ubuntu » Balíky » noble » libcoq-unimath » arm64 » Stiahnuť

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