Skip to content
Sections
>> Trisquel >> Paketit >> aramo >> libcoq-elpi-ocaml-dev >> ppc64el >> Imuroi

Download Page for libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb on machines

If you are running Trisquel, 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://es.archive.trisquel.info/trisquel aramo main 

Replacing es.archive.trisquel.info/trisquel with the mirror in question.

You can download the requested file from the pool/main/c/coq-elpi/ 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-elpi-ocaml-dev_1.13.0-1_ppc64el.deb:

Tarkka koko 1759488 tavua (1.7 MByte)
MD5-tarkiste 0528621376c2d2db0a2e7b9b0e49e124
SHA1-tarkiste c21f216006bc759d1cf9705aeffe502ceefc2382
SHA256-tarkiste c07da52824193efc6ddbffc1f14bed822f9c2c8053b52b417ad0bf896c09ae8f