Control: tag -1 + pendingI've just fixed the mentioned issues and uploaded the package to mentors.
- Bug#1023178: microprofile: Contains non-free source Bastian Germann
- Bug#1023178: microprofile: Contains non-free source Andrea Pappacoda
- Bug#1023178: microprofile: Contains non-free source Bastian Germann
- Bug#1023178: microprofile: Contains non-free source Andrea Pappacoda