diff options
author | Erich Eckner <git@eckner.net> | 2018-12-02 14:52:12 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-12-02 14:52:12 +0100 |
commit | e1501cb18c7e5ac712cceeb098b89f6a59e5653a (patch) | |
tree | 9fe92a4ce2be8fdd3c832ad395956905fb4da7f0 /community/opam/PKGBUILD | |
parent | a2b909b8c06e0bfa13605ffe9ff41535fec16d64 (diff) | |
download | packages-e1501cb18c7e5ac712cceeb098b89f6a59e5653a.tar.xz |
extra/linux-pae: 4.19.5 -> 4.19.6
Diffstat (limited to 'community/opam/PKGBUILD')
0 files changed, 0 insertions, 0 deletions