···2121 description = "Linux development manual pages";
2222 homepage = https://www.kernel.org/doc/man-pages/;
2323 repositories.git = http://git.kernel.org/pub/scm/docs/man-pages/man-pages;
2424+ license = licenses.gpl2Plus;
2425 platforms = with platforms; unix;
2526 priority = 30; # if a package comes with its own man page, prefer it
2627 };