---
layout: fc_discuss_archives
title: Message 84 from Frama-C-discuss on June 2009
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Frama-C Beryllium 20090601 Beta 1 release
- Subject: [Frama-c-discuss] Frama-C Beryllium 20090601 Beta 1 release
- From: bashir1961 at gmail.com (Paolo Bashir Argenton)
- Date: Wed, 24 Jun 2009 14:19:07 +0200
- In-reply-to: <4A40F87E.3080607@cea.fr>
- References: <4A40F87E.3080607@cea.fr>
Hello everybody,
a wish for the coming beryllium release, could it be possible to have
apron support in the pre-compiled binaries ?
Thanks again
Paolo Bashir Argenton