Debian Package Tracker
Register | Log in

News for package frama-c

  • [2017-07-27] Accepted frama-c 20161101+silicon+dfsg-6 (source amd64) into unstable (Stéphane Glondu)
  • [2017-01-26] frama-c 20161101+silicon+dfsg-5 MIGRATED to testing (Debian testing watch)
  • [2017-01-15] Accepted frama-c 20161101+silicon+dfsg-5 (source amd64) into unstable (Mehdi Dogguy)
  • [2017-01-12] frama-c 20161101+silicon+dfsg-4 MIGRATED to testing (Debian testing watch)
  • [2017-01-01] Accepted frama-c 20161101+silicon+dfsg-4 (source amd64) into unstable (Mehdi Dogguy)
  • [2017-01-01] frama-c 20161101+silicon+dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2017-01-01] Accepted frama-c 20161101+silicon+dfsg-3 (source amd64) into unstable (Mehdi Dogguy)
  • [2016-12-21] Accepted frama-c 20161101+silicon+dfsg-2 (source amd64) into unstable (Mehdi Dogguy)
  • [2016-12-21] Accepted frama-c 20161101+silicon+dfsg-1 (source amd64) into unstable (Mehdi Dogguy)
  • [2016-02-14] frama-c 20151002+magnesium+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2016-01-23] Accepted frama-c 20151002+magnesium+dfsg-1 (source amd64) into unstable (Mehdi Dogguy)
  • [2015-11-01] frama-c 20150201+sodium+dfsg-2 MIGRATED to testing (Britney)
  • [2015-09-01] Accepted frama-c 20150201+sodium+dfsg-2 (source amd64) into unstable (Mehdi Dogguy)
  • [2015-08-31] Accepted frama-c 20150201+sodium+dfsg-1 (source amd64) into unstable (Mehdi Dogguy)
  • [2014-05-06] frama-c 20140301+neon+dfsg-3 MIGRATED to testing (Debian testing watch)
  • [2014-04-29] Accepted frama-c 20140301+neon+dfsg-3 (source amd64) (Mehdi Dogguy)
  • [2014-04-28] Accepted frama-c 20140301+neon+dfsg-2 (source amd64) (Mehdi Dogguy)
  • [2014-04-27] Accepted frama-c 20140301+neon+dfsg-1 (source amd64) (Mehdi Dogguy)
  • [2013-12-12] frama-c 20130601+fluorine3+dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2013-12-08] Accepted frama-c 20130601+fluorine3+dfsg-2 (source amd64) (Stéphane Glondu)
  • [2013-12-02] frama-c 20130601+fluorine3+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2013-11-25] Accepted frama-c 20130601+fluorine3+dfsg-1 (source amd64) (Mehdi Dogguy)
  • [2012-05-27] frama-c 20111001+nitrogen+dfsg-4 MIGRATED to testing (Debian testing watch)
  • [2012-05-16] Accepted frama-c 20111001+nitrogen+dfsg-4 (source amd64) (Mehdi Dogguy)
  • [2012-01-07] frama-c 20111001+nitrogen+dfsg-3 MIGRATED to testing (Debian testing watch)
  • [2012-01-06] Accepted frama-c 20111001+nitrogen+dfsg-3 (source amd64) (Mehdi Dogguy)
  • [2012-01-03] Accepted frama-c 20111001+nitrogen+dfsg-2 (source amd64) (Mehdi Dogguy)
  • [2012-01-03] Accepted frama-c 20111001+nitrogen+dfsg-1 (source amd64) (Mehdi Dogguy)
  • [2011-04-30] frama-c 20110201+carbon+dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2011-04-25] Accepted frama-c 20110201+carbon+dfsg-2 (source amd64) (Mehdi Dogguy)
  • 1
  • 2
  • 3

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing