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 windows installer

Hi,

try http://frama-c.com/download.html

But alas you won't find an installer for the last version of Frama-C
(Nitrogen) there.

Greetings,
Sylvain

2012/2/3 Ralf Glaser, track IT <ralf.glaser at trackitsystems.de>:
> Maybe i'm just missing something but i can't find the windows auto-installer
> mentioned in the installation instructions (trying to access
> http://frama-c.com/download results in an error response..)
>
> --
> Dipl.-Ing. Ralf Glaser
>
> track IT GmbH
> Hin?berstra?e 8
> 30175 Hannover
> Germany
>
> Tel.: +49-511-38098-90
> Fax.: +49-511-38098-99
>
> Gesch?ftsf?hrer ?Thilo von Usslar
> Bankhaus C.L. Seeliger ?BLZ 270 325 00 ? Konto 6554
> Amtgericht Hannover ?HRB 60983
> Steuer Nr.: 2325 02520523667, Ust-IdNr.: DE228892 503
>
> ------------------------
>
> Diese Information ist f?r den Gebrauch durch die Person oder die
> Firma/Organisation bestimmt,die in der Empf?ngeradresse benannt ist und
> unterliegt u. U. dem Betriebsgeheimnis, dem Schutz von Arbeitsergebnissen
> oder anderweitigem rechtlichen Schutz.Wenn Sie nicht der angegebene
> Empf?nger sind, nehmen Sie bitte zur Kenntnis, dass Weitergabe, Kopieren,
> Verteilung oder Nutzung des Inhalts dieser E-Mail-?bertragung unzul?ssig
> ist.Falls Sie diese E-Mail irrt?mlich erhalten haben, benachrichtigen Sie
> den Absender bitte unverz?glich telefonisch oder durch eine E-Mail und
> l?schen Sie diese Information aus Ihrem EDV-System.
>
> This e-mail message is intended only for the use of the named recipient(s)
> and contains information which may be confidential or privileged. If you are
> not the intended recipient, be aware that any distribution, or use of the
> contents of this information is prohibited. If you have received this
> electronic transmission in error, please notify the sender and delete the
> material from the computer.
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss