diff options
| author | Karel Kočí <cynerd@email.cz> | 2019-05-17 17:32:02 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2019-05-17 17:32:02 +0200 |
| commit | 1753f2e6ec19bf8d678dd8510f627299cd407ee7 (patch) | |
| tree | 5a0fceb7c47b29d0346d20a5883aff154d03967d /profiles/devel/arm/packages | |
| parent | 86f53a0846336459f99cfa2906e6215214dc6819 (diff) | |
| download | gentoo-personal-overlay-1753f2e6ec19bf8d678dd8510f627299cd407ee7.tar.gz gentoo-personal-overlay-1753f2e6ec19bf8d678dd8510f627299cd407ee7.tar.bz2 gentoo-personal-overlay-1753f2e6ec19bf8d678dd8510f627299cd407ee7.zip | |
sys-kernel/linux: update to version 5.1.3
Diffstat (limited to 'profiles/devel/arm/packages')
0 files changed, 0 insertions, 0 deletions