Bug#1020010: cvc4: FTBFS: expr_template.h:0: error: undefined replacement ${getConst_instantiations}

Control: tags -1 patch On Sun, 18 Sep 2022, Lucas Nussbaum wrote: Source: cvc4 Version: 1.8-2 Severity: serious Justification: FTBFS Tags: bookworm sid ftbfs User: lu...@debian.org Usertags: ftbfs-20220917 ftbfs-bookworm Hi, During a rebuild of all packages in sid, your package failed to

Bug#1020010: cvc4: FTBFS: expr_template.h:0: error: undefined replacement ${getConst_instantiations}

Source: cvc4 Version: 1.8-2 Severity: serious Justification: FTBFS Tags: bookworm sid ftbfs User: lu...@debian.org Usertags: ftbfs-20220917 ftbfs-bookworm Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > make[3]: Entering