Hämtningssida för frama-c_20111001+nitrogen+dfsg-4_s390x.deb på IBM System z-maskiner

Om du kör Debian 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://ftp.de.debian.org/debian wheezy main 

Ersätt ftp.de.debian.org/debian med spegeln i fråga.

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

Nordamerika

Sydamerika

Asien

Afrika

Europa

Oceania

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 frama-c_20111001+nitrogen+dfsg-4_s390x.deb:

Exakt storlek 1555020 byte (1,5 MByte)
MD5-kontrollsumma 562ab78383b715ac1ab6eadead0b2621
SHA1-kontrollsumma df71b9a3c7f53e914fe2017862d399d40abfc3bf
SHA256-kontrollsumma 5f4427c45c4c45f695de7596d303e5d1e78443c9ac2952bf60eb39d3a40a8cba