Register
|
Log in
News for package
frama-c
[
2025-02-02
]
frama-c REMOVED from testing
(
Debian testing watch
)
[
2023-09-11
]
frama-c 20220511-manganese-5 MIGRATED to testing
(
Debian testing watch
)
[
2023-09-09
]
Accepted frama-c 20220511-manganese-5 (source) into unstable
(
Stéphane Glondu
)
[
2023-07-21
]
frama-c 20220511-manganese-4 MIGRATED to testing
(
Debian testing watch
)
[
2023-07-13
]
Accepted frama-c 20220511-manganese-4 (source) into unstable
(
Stéphane Glondu
)
[
2022-12-30
]
frama-c 20220511-manganese-3 MIGRATED to testing
(
Debian testing watch
)
[
2022-12-27
]
Accepted frama-c 20220511-manganese-3 (source) into unstable
(
Ralf Treinen
)
[
2022-11-19
]
frama-c 20220511-manganese-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-10-23
]
Accepted frama-c 20220511-manganese-2 (source) into unstable
(
Ralf Treinen
)
[
2022-07-07
]
frama-c 20220511-manganese-1.3 MIGRATED to testing
(
Debian testing watch
)
[
2022-06-27
]
Accepted frama-c 20220511-manganese-1.3 (source) into unstable
(
Julien Puydt
)
[
2022-06-27
]
Accepted frama-c 20220511-manganese-1.2 (source) into unstable
(
Julien Puydt
)
[
2022-06-23
]
Accepted frama-c 20220511-manganese-1.1 (source) into unstable
(
Julien Puydt
)
[
2022-06-18
]
Accepted frama-c 20220511-manganese-1 (source) into unstable
(
Ralf Treinen
)
[
2022-03-25
]
frama-c 20211203-chromium-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-03-23
]
Accepted frama-c 20211203-chromium-1 (source) into unstable
(
Ralf Treinen
)
[
2021-11-27
]
frama-c REMOVED from testing
(
Debian testing watch
)
[
2021-02-23
]
frama-c 20201209+titanium-4.1 MIGRATED to testing
(
Debian testing watch
)
[
2021-02-12
]
Accepted frama-c 20201209+titanium-4.1 (source) into unstable
(
Gianfranco Costamagna
)
[
2021-01-11
]
Accepted frama-c 20201209+titanium-4 (source) into unstable
(
Ralf Treinen
)
[
2021-01-08
]
Accepted frama-c 20201209+titanium-3 (source) into unstable
(
Ralf Treinen
)
[
2021-01-03
]
Accepted frama-c 20201209+titanium-2 (source) into unstable
(
Ralf Treinen
)
[
2021-01-02
]
Accepted frama-c 20201209+titanium-1 (source) into unstable
(
Ralf Treinen
)
[
2020-08-31
]
frama-c 20200625+scandium-2 MIGRATED to testing
(
Debian testing watch
)
[
2020-08-31
]
frama-c 20200625+scandium-2 MIGRATED to testing
(
Debian testing watch
)
[
2020-08-26
]
Accepted frama-c 20200625+scandium-2 (source) into unstable
(
Ralf Treinen
)
[
2020-08-25
]
Accepted frama-c 20200625+scandium-1 (source) into unstable
(
Ralf Treinen
)
[
2020-06-03
]
frama-c REMOVED from testing
(
Debian testing watch
)
[
2020-04-06
]
frama-c 20191204+calcium-0.1 MIGRATED to testing
(
Debian testing watch
)
[
2020-03-31
]
Accepted frama-c 20191204+calcium-0.1 (source) into unstable
(
Gianfranco Costamagna
)
1
2
3
4
