Hello, you should report this bug in Debian, since this package is maintained there with no Ubuntu specific changes. https://bugs.debian.org/cgi-bin/pkgreport.cgi?repeatmerged=no&src=openmprtl
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717127 Title: libomp5 and libomp-dev should be updated to the 5.0.0 release To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/llvm-toolchain-5.0/+bug/1717127/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
