Skip to content
Sections
>> Trisquel >> Paket >> aramo >> libcoq-mathcomp >> all >> Hämta

Hämtningssida för libcoq-mathcomp_1.14.0-7_all.deb

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/s/ssreflect/ 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-mathcomp_1.14.0-7_all.deb:

Exakt storlek 2653510 byte (2,5 MByte)
MD5-kontrollsumma 3d07a65354036cb6f91c43024472f39c
SHA1-kontrollsumma a4b1e0bc30fbeb88a595cac33b9aece12770cde9
SHA256-kontrollsumma c4500a4c1be2d163af98c6622c7ff3127473efac8410d443ad66aab0c01eaff5