Package: jflex

Scenario: src_unstable_main
Date: 2025-12-25 05:00:02

Summary: unsatisfied dependency on openjdk-21-jre-headless

src:jflex (1.7.0-3) [PTS] [ctrl]
   ↓ ant
ant (1.10.15-1) [PTS] [ctrl]
   ↓ default-jre-headless (>= 2:1.8) | java8-runtime-headless | java8-runtime-headless
default-jre-headless (2:1.21-76) [PTS] [ctrl]
   ↓ openjdk-21-jre-headless
MISSING