» Ubuntu » Paketit » questing » libcoq-stdlib » arm64 » Imuroi

Download Page for libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb on 64-bit ARMv8 machines

If you are running Ubuntu, it is strongly suggested to use a package manager like aptitude or synaptic to download and install packages, instead of doing so manually via this website.

You should be able to use any of the listed mirrors by adding a line to your /etc/apt/sources.list like this:

deb http://cz.archive.ubuntu.com/ubuntu questing main universe

Replacing cz.archive.ubuntu.com/ubuntu with the mirror in question.

You can download the requested file from the pool/universe/c/coq/ subdirectory at any of these sites:

If none of the above sites are fast enough for you, please see our complete mirror list.

Huom: Joillakin selaimilla täytyy erikseen valita selaimesta, että tiedosto tallennetaan levylle. Esimerkiksi Firefoxissa tai Mozillassa pitää painaa Shift-näppäintä samaan aikaan kun napsauttaa linkkiä.

Lisätietoa tiedostosta libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb:

Tarkka koko 26921824 tavua (25.7 MByte)
MD5-tarkiste 03c6a13663ec61307c7cc266fa03e25e
SHA1-tarkiste ceff28c8804c37b2c7358fc5406d7c8de2066bf1
SHA256-tarkiste 7ac5f7775c050fe73a64f5f1b862ce95c0fc7d86a04de175e5875348e4f153d2