Skip to content
Sections
>> Trisquel >> Paket >> etiona >> libwhy-coq >> all >> Hämta

Hämtningssida för libwhy-coq_2.39-2build1_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 etiona 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/w/why/ 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 libwhy-coq_2.39-2build1_all.deb:

Exakt storlek 35376 byte (34,5 kByte)
MD5-kontrollsumma f674a4328d72d6599fc3504b361cd03a
SHA1-kontrollsumma 9a5ff6324a3adc26bbd993bd94ec65bd51c33e41
SHA256-kontrollsumma 35842ea725579bf8416d8e4bf958f2cf75ecbdce24f01c4529c8cbce769c8850