diff options
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -12,7 +12,7 @@ pkgbase=linux-libre _supver=5 _majver=3 -_minver=12 +_minver=13 _gccpatchver='20190822' if [ "$_minver" == "0" ]; then pkgver=${_supver}.${_majver} @@ -49,7 +49,7 @@ validpgpkeys=( ) sha256sums=('c50879645e8f13a6a39a86748a8cd259b4ecd2191c88ef772b4432c993820c0a' 'SKIP' - 'e1af1c1e7276ea5666a65391f4238dcdf9ccb7bd07368e7ea26b1a31d68ef4ec' + '6c242e731660e9055da3b959fdb90a6f902b01b4dd21a7a17dcd9d832ee9eaed' 'SKIP' 'e862ecd2cb0b20e1859ec3e47616457a9a3acb111cd5a86094f9ed1dbd7f42ac' '9b92add42581aeb427a0c2cffc584815f0e4223a1a6bc27802ccd77eaf6e4bec' |