Bug#1151272: storm-lang: Contains non-free files under Ubuntu Font Licence

[Bastian Germann]

Source: storm-lang
Version: 0.8.1+dfsg-1
Severity: serious

The mps component of your package contains the Ubuntu Mono font, which
is licensed under Ubuntu Font Licence, which is known to be non-free.