» Ubuntu » Paket » questing » libcoq-stdlib » arm64 » Hämta

Hämtningssida för libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb på 64-bit ARMv8-maskiner

Om du kör Ubuntu 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://cz.archive.ubuntu.com/ubuntu questing main universe

Ersätt cz.archive.ubuntu.com/ubuntu med spegeln i fråga.

Du kan hämta den önskade filen från underkatalogen pool/universe/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.20.1+dfsg-1build1_arm64.deb:

Exakt storlek 26921824 byte (25,7 MByte)
MD5-kontrollsumma 03c6a13663ec61307c7cc266fa03e25e
SHA1-kontrollsumma ceff28c8804c37b2c7358fc5406d7c8de2066bf1
SHA256-kontrollsumma 7ac5f7775c050fe73a64f5f1b862ce95c0fc7d86a04de175e5875348e4f153d2