LLVM 15.0.7 missing libPolly.a

Dear Team!

I have a docker image where I install LLVM 15 following https://apt.llvm.org/ that I am using with Apache TVM. Everything worked fine with LLVM 15.0.6, but with 15.0.7 release I get following error:

ninja: error: ‘/usr/lib/llvm-15/lib/libPolly.a’, needed by ‘libtvm.so’, missing and no known rule to make it

Is there a way to install 15.0.6 instead 15.0.7 with the script?

Thank you!

apt.llvm.org states

The packages provide LLVM + Clang + compiler-rt + polly + LLDB + LLD + libFuzzer + libc++ + libc++abi + openmp + libclc + libunwind + MLIR + BOLT

… so I think it must not have been intentional to omit polly. But maybe check whether it’s been separated to its own package?

cc @sylvestre

yeah, i moved polly into its packages
Install: libpolly-15-dev