Skip to content
Sections
>> Trisquel >> Paket >> aramo >> libcoq-stdlib >> arm64 >> Hämta

Hämtningssida för libcoq-stdlib_8.15.0+dfsg-2_arm64.deb på -maskiner

Om du kör Trisquel rekommenderas det å det bestämdaste att du använder en pakethanterare som aptitude eller synaptic för att hämta och installera paket, istället för att göra det manuellt via webbplatsen.

Du bör kunna använda valfri av de angivna speglarna genom att lägga till en rad i din /etc/apt/sources.list på den här formen:

deb http://es.archive.trisquel.info/trisquel aramo main 

Ersätt es.archive.trisquel.info/trisquel med spegeln i fråga.

Du kan hämta den önskade filen från underkatalogen pool/main/c/coq/ på någon av dessa platser:

Om ingen av platserna ovan är snabb nog för dig, se vår fullständiga spegelförteckning.

Observera att du i vissa webbläsare måste tala om att du vill att filen skall sparas. I Firefox och Mozilla, till exempel, håller du ned Skift-tangenten medan du klickar på webbadressen.

Ytterligare information om libcoq-stdlib_8.15.0+dfsg-2_arm64.deb:

Exakt storlek 24696054 byte (23,6 MByte)
MD5-kontrollsumma c576c23f1268a5a8418b66165fb5bcdc
SHA1-kontrollsumma de9906aabf8b32ea75dc975ac1be1b955e47a5d5
SHA256-kontrollsumma 30c5cad782e43bb484d74ecb440dd5ef18cc489201ce3c1fb320e354c424f2c9