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] Frama-C Carbon Mac OS X binary package


  • Subject: [Frama-c-discuss] Frama-C Carbon Mac OS X binary package
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
  • Date: Mon, 21 Mar 2011 15:54:32 +0100

A release candidate version of the binary package of Frama-C Carbon
for Mac OS X can be found at http://www.mediafire.com/?25jgi7upk51b5s5
The readme is at http://pastebin.com/c6KcJZPj .
The download's size is 142832374 and the command cksum should compute
3559157688.

Pascal