Bug#1023178: microprofile: Contains non-free source

[Bastian Germann]

Source: microprofile
Version: 3.1+ds-2
Severity: serious

The files src/microprofile*.html contain JavaScript code from 
https://gist.github.com/mjackson/5311256
which never got a license even though people have asked for it. So please 
exclude them.