Package: libboogie-cil

Scenario: unstable_main
Date: 2024-07-18 05:00:03

Summary: unsatisfied dependency on mono-runtime (>= 6.8.0.105)

libboogie-cil (2.4.1+dfsg-0.1) [PTS] [ctrl]
↓ libmono-corlib4.5-cil (>= 5.18.0.240)
libmono-corlib4.5-cil (6.8.0.105+dfsg-3.6) [PTS] [ctrl]
↓ mono-runtime (>= 6.8.0.105)
MISSING