Mark H Weaver Wed, 13 Sep 2017 08:08:32 -0700
Currently, the package specification "linux-libre@4.1" selects version 4.13. It should instead select version 4.1.
Mark