diff options
author | Silvino Silva <silvino@bk.ru> | 2018-07-17 00:07:20 +0100 |
---|---|---|
committer | Silvino Silva <silvino@bk.ru> | 2018-07-17 00:07:20 +0100 |
commit | fa4a1dbc55e566b6f891636ed0301bf6a188b312 (patch) | |
tree | da34dbb85daf65ed993f5b6d56847d7d37cb0cd3 /core/ports/linux-gnu/Pkgfile | |
parent | 214aa23801332d2120df208f9d9042fd51c5f2d3 (diff) | |
download | doc-fa4a1dbc55e566b6f891636ed0301bf6a188b312.tar.gz |
release revision
Diffstat (limited to 'core/ports/linux-gnu/Pkgfile')
-rw-r--r-- | core/ports/linux-gnu/Pkgfile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/core/ports/linux-gnu/Pkgfile b/core/ports/linux-gnu/Pkgfile index 9d43608..ea8868f 100644 --- a/core/ports/linux-gnu/Pkgfile +++ b/core/ports/linux-gnu/Pkgfile @@ -4,9 +4,9 @@ # Depends on: dracut grub2 grub2-efi name=linux-gnu -version=4.9.92 -release=9 -source=(http://linux-libre.fsfla.org/pub/linux-libre/releases/$version-gnu/linux-libre-$version-gnu.tar.xz \ +version=4.9.111 +release=12 +source=(https://linux-libre.fsfla.org/pub/linux-libre/releases/$version-gnu/linux-libre-$version-gnu.tar.xz \ cpu_optimizations.patch \ config-crux) |