Subject: frama-c-base: recommends alt-ergo which is not in unstable Package: frama-c-base Version: 20220511-manganese-5+b13 Severity: minor User: [email protected] 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 | [email protected] | [email protected]
signature.asc
Description: PGP signature
