Bug#797473: frama-c: New upstream version

To: submit@bugs.debian.org
Subject: Bug#797473: frama-c: New upstream version
From: Kurt Roeckx <kurt@roeckx.be>
Date: Sun, 30 Aug 2015 23:24:08 +0200
Message-id: <[🔎] 20150830212408.GA27304@roeckx.be>
Reply-to: Kurt Roeckx <kurt@roeckx.be>, 797473@bugs.debian.org

Package: frama-c
Version: 20140301+neon+dfsg-3
Severity: wishlist

Hi,

It seems there is a new upstream version.  Could you upload it?


Kurt

Reply to:

Follow-Ups:
- Re: Bug#797473: frama-c: New upstream version
  - From: David MENTRE <dmentre@linux-france.org>
- Bug#797473: marked as done (frama-c: New upstream version)
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: Processed: Re: Bug#797100: ben: Uncaught exception: ben-specific error: No configuration file has been specified
Next by Date: Re: Bug#797473: frama-c: New upstream version
Previous by thread: Processed: botch FTBFS with dose3 4.0
Next by thread: Re: Bug#797473: frama-c: New upstream version
Index(es):
- Date
- Thread