---
layout: fc_discuss_archives
title: Message 1 from Frama-C-discuss on November 2016
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Frama-C silicon snapshot
- Subject: [Frama-c-discuss] Frama-C silicon snapshot
- From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
- Date: Wed, 2 Nov 2016 15:26:17 +0000
- In-reply-to: <mailman.23.1477735206.6591.frama-c-discuss@lists.gforge.inria.fr>
- References: <mailman.23.1477735206.6591.frama-c-discuss@lists.gforge.inria.fr>
Hello,
I did not suceed with the URL mentioned in the original post
> https://github.com/Frama-C/Frama-C-snapshot/releases
>
but it worked with
https://github.com/Frama-C/Frama-C-snapshot.git
Regards
Jens