#1113839 frama-c-base: recommends alt-ergo which is not in unstable

Package:
frama-c-base
Source:
frama-c-base
Description:
Platform dedicated to the analysis of source code written in C
Submitter:
Carles Pina i Estany
Date:
2025-09-03 06:53:02 UTC
Severity:
normal
#1113839#5
Date:
2025-09-03 06:51:45 UTC
From:
To:
Dear maintainer,

I see that the package frama-c-base (version 20220511-manganese-5+b13) recommends alt-ergo
which is not in unstable.

This can be seen in https://packages.debian.org/unstable/frama-c-base

Should it be dropped or changed?

I notice that alt-ergo was removed from Debian in 2023-07-23:
https://tracker.debian.org/pkg/alt-ergo

Thank you,