control: close -1 On Sat, 03 Nov 2018 20:46:33 +0100 Sylvestre Ledru <[email protected]> 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. -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
