Processing commands for control@bugs.debian.org: > tags 1054710 + pending Bug #1054710 [src:immer] immer: FTBFS: generic.ipp:13:10: fatal error: catch2/catch.hpp: No such file or directory Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 1054710: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1054710 Debian Bug Tracking System Contact owner@bugs.debian.org with problems