Subject: frama-c-base: recommends alt-ergo which is not in unstable Package: frama-c-base Version: 20220511-manganese-5+b13 Severity: minor User: carles@pina.cat Usertags: package-relations 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, -- Carles Pina i Estany https://carles.pina.cat | carles@pina.cat | cpina@debian.org
Attachment:
signature.asc
Description: PGP signature