Register
|
Log in
News for package
frama-c
[
2009-08-29
]
Accepted frama-c 20090601~beta1+dfsg-1 (source amd64)
(
Mehdi Dogguy
)
[
2009-08-04
]
frama-c 20081201.dfsg-3 MIGRATED to testing
(
Debian testing watch
)
[
2009-08-03
]
frama-c 20081201.dfsg-3 MIGRATED to testing
(
Debian testing watch
)
[
2009-07-10
]
Accepted frama-c 20081201.dfsg-3 (source amd64)
(
Mehdi Dogguy
)
[
2009-06-14
]
frama-c 20081201.dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2009-06-03
]
Accepted frama-c 20081201.dfsg-2 (source i386)
(
Mehdi Dogguy
)
[
2009-06-02
]
Accepted frama-c 20081201.dfsg-1 (source i386)
(
Mehdi Dogguy
)
(signed by:
Samuel Mimram
)
1
2
3
4
