Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problems in downloading Windows binary installer of Frama-c

On Feb 26, 2010, at 1:12 PM, Jens Gerlach wrote:

>
> For curiosity I have started downloading the windows binary  
> installer (I am using Safari on snow leopard).
> The download manager indicates that it will need another 11 days(!)  
> to finish it.
>
> Wget reports the same!
>
> The source distribution, on the other hand, can be downloaded within  
> a few minutes.

Well, the source distribution is 19755240 bytes (19MB) and the Windows  
installer is 138123404 (138MB) so that explains some of the  
difference, but not this kind of ratio.

We may be victims of our own success or have some issue to fix in the  
hosting.

One short-term fix I can see is to provide the cryptographic hashes  
below so that you can check the result of the download if it succeeds,  
and have a little confidence if you somehow get the file from  
somewhere else:

MD5 (acsl-implementation-Beryllium-20090902.pdf) =  
d468a41379a14bedaa527478c61d40e2
MD5 (acsl-implementation-Beryllium-beta1.pdf) =  
b19cda825da8d10a106c928f43afbf9c
MD5 (acsl-implementation-Beryllium.pdf) =  
169a3d526e3c9aef66e8908ad8406305
MD5 (acsl-implementation-Helium.pdf) = c303a87294e08cfc7c436fea0be45570
MD5 (acsl-implementation-Hydrogen.pdf) =  
b1f2dc331db92c2ca166680b618cfd35
MD5 (acsl-implementation-Lithium.pdf) = b19cda825da8d10a106c928f43afbf9c
MD5 (acsl-tutorial.pdf) = 2a60d746ddb06f5345374b8200decbf7
MD5 (acsl_1.2.pdf) = fce0cc88b92993c14248a99c44ae4f1b
MD5 (acsl_1.3.pdf) = 39aafcec280bccf3285042f93a1e2b9e
MD5 (acsl_1.4.pdf) = dee95856b39482e293847c3673e22603
MD5 (frama-c-Beryllium-20090601-beta1.tar.gz) =  
3e7a80fb4c30f1f841277ef417e267f5
MD5 (frama-c-Beryllium-20090901.tar.gz) =  
b4899d20206e886d23224496612efc89
MD5 (frama-c-Beryllium-20090901_api.tar.gz) =  
9bfc03e6cb2920d7bd54fe8a5d608614
MD5 (frama-c-Beryllium-20090901_installer.exe) =  
2dcc8de54075217a2fad14f31c56ad26
MD5 (frama-c-Beryllium-20090902-why-2.21.tar.gz) =  
0d1b48c9999e105147d3746161a999bc
MD5 (frama-c-Beryllium-20090902-why_2.23-OSX_intel.tar.bz2) =  
228b354997d99b55ca4713ff63e5cb64
MD5 (frama-c-Beryllium-20090902.tar.gz) =  
a713f362cf62af434b23f79186e4d8e7
MD5 (frama-c-Beryllium-20090902_OSX_PPC.tar.bz2) =  
795050325ad71f4a7228601f0f713f65
MD5 (frama-c-Beryllium-20090902_OSX_intel.tar.bz2) =  
00de2fbe17c809ee04409aa51689b33f
MD5 (frama-c-Beryllium-20090902_api.tar.gz) =  
7bb42f3d8745989c7fae6b7c7c9ea48f
MD5 (frama-c-Beryllium-20090902_installer.exe) =  
1b25a30c5afa80253bcfd1c2362c2f3f
MD5 (frama-c-Helium-20080701.tar.gz) = 05df93d6d1ed81afc09234f7af57fff8
MD5 (frama-c-Helium-20080701_installer.exe) =  
82049a26b6499ad2984efcbc5270e876
MD5 (frama-c-Hydrogen-20080301.tar.gz) =  
35256da9700b0e0d217d76cf7e0cb3f5
MD5 (frama-c-Hydrogen-20080501.tar.gz) =  
6cb1badd7743cdd2e1ec615b671ed936
MD5 (frama-c-Hydrogen-20080502.tar.gz) =  
d80850749b45ccaf387f670f37d3d093
MD5 (frama-c-Hydrogen-20080502_Ubuntu_8.04_AMD64.tar.gz) =  
45e48fecc6d832a28d0f20d9de795d53
MD5 (frama-c-Hydrogen-20080502_Ubuntu_8.04_x86.tar.gz) =  
6c21c4ec16824e3ffb645564e3965099
MD5 (frama-c-Hydrogen-20080502_installer.exe) =  
76a414739addbe7d9222794d72a3aa97
MD5 (frama-c-Lithium-20081002+beta1.tar.gz) =  
8bcf97108e62253df4716ac285602d98
MD5 (frama-c-Lithium-20081002+beta1_installer.exe) =  
8621ad3691c6e190e739abcf7a29a3f7
MD5 (frama-c-Lithium-20081201.tar.gz) = c7997c4f93344a15180334630dd7672f
MD5 (frama-c-Lithium-20081201_OSX_PPC.tar.bz2) =  
7b6134b60e1a5dd76bd8e19c62447cc4
MD5 (frama-c-Lithium-20081201_OSX_intel.tar.bz2) =  
e224867a48c087ba483232d2ad268e20
MD5 (frama-c-Lithium-20081201_installer.exe) =  
72e10f18445dad11d3820e90952316d9
MD5 (frama-c-manual-Hydrogen-en.pdf) = fa5e697225fc5eb41676f5f9947180a3
MD5 (frama-c-manual-Hydrogen.pdf) = fd7a9f2240a20e5f8c74f67c0cc4e384
MD5 (frama-c-manual-Lithium-en.pdf) = 8f4fa906b1d33bb7bb38807e12ce92ce
MD5 (frama-c-plugin-dev-guide-Beryllium-20090601-beta1.pdf) =  
4f1c765a72acfd3403d2da4aa6a96e76
MD5 (plug-in_development_guide.pdf) = ba7f3e056f84412d9be7d24ed37c8887
MD5 (plugin-developer-Beryllium-20090902.pdf) =  
c5732f4f2e6628ecccd51b15c636b5d1
MD5 (plugin-developer-Beryllium.pdf) = ba7f3e056f84412d9be7d24ed37c8887
MD5 (user-manual-Beryllium-20090902.pdf) =  
88162fa99bc8ea74bdbfa96747b46141
MD5 (value-analysis-Beryllium-20090902.pdf) =  
a1c6423a5de757feae82e486fba49ad4
MD5 (value-analysis-Beryllium.pdf) = a1c6423a5de757feae82e486fba49ad4

Note that MD5 should no longer to be considered as providing security  
against a motivated opponent. But it is at least widely available.

Pascal