Package: libfiat-dev

Scenario: unstable_main
Date: 2025-10-22 05:00:02

Summary: unsatisfied dependency on automake-1.18

libfiat-dev (1.6.1-1+b1) [PTS] [ctrl]
   ↓ libfckit-dev
libfckit-dev (0.14.0-3+b1) [PTS] [ctrl]
   ↓ libeckit-dev
libeckit-dev (1.32.2-1) [PTS] [ctrl]
   ↓ mpi-default-dev
mpi-default-dev (1.19) [PTS] [ctrl]
   ↓ libopenmpi-dev
libopenmpi-dev (5.0.8-10+b1) [PTS] [ctrl]
   ↓ libhwloc-dev
libhwloc-dev (2.12.2-1) [PTS] [ctrl]
   ↓ libltdl-dev
libltdl-dev (2.5.4-6) [PTS] [ctrl]
   ↓ automake-1.18
MISSING