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