---
layout: fc_discuss_archives
title: Message 45 from Frama-C-discuss on January 2014
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Frama-c: WP issues
- Subject: [Frama-c-discuss] Frama-c: WP issues
- From: dmentre at linux-france.org (David MENTRE)
- Date: Fri, 17 Jan 2014 08:34:06 +0100
- In-reply-to: <B517F47C2F6D914AA8121201F9EBEE6701C76682DDDC@Mail1.FCMD.local>
- References: <B517F47C2F6D914AA8121201F9EBEE6701C76682DC29@Mail1.FCMD.local> <52D6B7B0.4020005@fr.merce.mee.com> <B517F47C2F6D914AA8121201F9EBEE6701C76682DD39@Mail1.FCMD.local>, <52D6B9DE.1030402@linux-france.org> <B517F47C2F6D914AA8121201F9EBEE6701C7660449A3@Mail1.FCMD.local> <52D6C5D1.2060905@linux-france.org> <B517F47C2F6D914AA8121201F9EBEE6701C76682DDDC@Mail1.FCMD.local>
Hello Dharmalingam,
Le 16/01/2014 19:09, Dharmalingam Ganesan a ?crit :
> I just got an email that this issue is fixed. I'm very curious to try
> but do not know where to pull the source code of the updated
> version?
You cannot. CEA's code repository is closed. You'll have to wait next
official release (like me).
Best regards,
david