control: close -1 On Sat, 03 Nov 2018 20:46:33 +0100 Sylvestre Ledru <sylves...@debian.org> wrote: > Source: intel-mkl > Severity: important > > Dear Maintainer, > > As openmprtl is now part of llvm-toolchain, I would like to remove > the openmprtl package from debian. > > This package is the only one using it directly. > A simple rebuild should be enough (tm). >
seems this bug is already fixed, closing G.
