Go
Register
|
Log in
Subscribe
frama-c
×
Choose email to subscribe with
general
source:
frama-c
(
main
)
version:
20220511-
manganese-
5
maintainer:
Debian OCaml Maintainers
(
archive
)
uploaders:
Ralf Treinen
–
Mehdi Dogguy
arch:
any
std-ver:
4.6.2
VCS:
Git
(
Browse
)
versions
[pool directory]
kali-roll:
20220511-
manganese-
5
kali-dev:
20220511-
manganese-
5
versioned links
20220511-
manganese-
5:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
frama-c-base
news
[rss feed]
[
2023-09-11
]
frama-c 20220511-manganese-5 imported into kali-rolling
(
Kali Repository
)
[
2023-08-07
]
frama-c 20220511-manganese-4 imported into kali-rolling
(
Kali Repository
)
[
2022-12-30
]
frama-c 20220511-manganese-3 imported into kali-rolling
(
Kali Repository
)
[
2022-11-21
]
frama-c 20220511-manganese-2 imported into kali-rolling
(
Kali Repository
)
[
2022-07-07
]
frama-c 20220511-manganese-1.3 imported into kali-rolling
(
Kali Repository
)
[
2022-03-25
]
frama-c 20211203-chromium-1 imported into kali-rolling
(
Kali Repository
)
[
2021-11-29
]
frama-c 20201209+titanium-4.1 removed from kali-rolling
(
Kali Repository
)
[
2021-11-27
]
frama-c 20201209+titanium-4.1 removed from kali-dev
(
Kali Repository
)
[
2021-02-23
]
frama-c 20201209+titanium-4.1 imported into kali-rolling
(
Kali Repository
)
[
2020-08-31
]
frama-c 20200625+scandium-2 imported into kali-rolling
(
Kali Repository
)
[
2020-06-02
]
frama-c 20191204+calcium-0.1 removed from kali-rolling
(
Kali Repository
)
[
2020-06-02
]
frama-c 20191204+calcium-0.1 removed from kali-dev
(
Kali Repository
)
[
2020-04-06
]
frama-c 20191204+calcium-0.1 imported into kali-rolling
(
Kali Repository
)
[
2019-11-14
]
frama-c 20171101+sulfur+dfsg-2 removed from kali-rolling
(
Kali Repository
)
[
2019-11-14
]
frama-c 20171101+sulfur+dfsg-2 removed from kali-dev
(
Kali Repository
)
[
2018-11-23
]
frama-c 20171101+sulfur+dfsg-2 imported into kali-rolling
(
Kali Repository
)
[
2018-06-07
]
frama-c 20171101+sulfur+dfsg-1 imported into kali-rolling
(
Kali Repository
)
[
2017-09-16
]
frama-c 20170501+phosphorus+dfsg-2 imported into kali-rolling
(
Kali Repository
)
[
2017-08-08
]
frama-c 20161101+silicon+dfsg-6 imported into kali-rolling
(
Kali Repository
)
[
2017-01-26
]
frama-c 20161101+silicon+dfsg-5 imported into kali-rolling
(
Kali Repository
)
[
2017-01-12
]
frama-c 20161101+silicon+dfsg-4 imported into kali-rolling
(
Kali Repository
)
[
2017-01-02
]
frama-c 20161101+silicon+dfsg-2 imported into kali-rolling
(
Kali Repository
)
[
2016-02-14
]
frama-c 20151002+magnesium+dfsg-1 imported into kali-rolling
(
Kali Repository
)
[
2015-12-07
]
frama-c 20150201+sodium+dfsg-2 migrated to Kali Safi
[
2015-11-02
]
frama-c 20150201+sodium+dfsg-2 has been added to Kali Devel
[
2015-11-02
]
frama-c 20150201+sodium+dfsg-2 has been added to Kali Rolling
[
2015-08-27
]
frama-c 20111001+nitrogen+dfsg-4 migrated to Kali Moto
[
2015-08-11
]
frama-c 20140301+neon+dfsg-3 migrated to Kali Moto
[
2015-07-21
]
frama-c 20140301+neon+dfsg-3 migrated to Kali Sana
[
2014-10-22
]
frama-c 20140301+neon+dfsg-3 migrated to Kali Rolling
1
2
links
homepage
debci