Bug#912163: RM: openmprtl -- ROP; Merged into llvm-toolchain-7

[Sylvestre Ledru]

Package: ftp.debian.org
Severity: normal

Hello

Once llvm-defaults from exp has been uploaded in unstable,
please remove openmp as it is now provided by llvm-toolchain-7

Thanks
Sylvestre