diff options
| author | Erich Eckner <git@eckner.net> | 2021-04-26 10:14:42 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2021-04-26 10:14:42 +0200 |
| commit | 1316d634742ad02f2987240152e46171e78914a1 (patch) | |
| tree | 5a7384014e7df62b6f931a45c534db82bfa99c94 /blacklist/i486/ghc/agda | |
| parent | 4e00866853a1f69acea9c8ab31000695a05e799e (diff) | |
| download | packages-1316d634742ad02f2987240152e46171e78914a1.tar.xz | |
extra/linux-pae: 5.11.16 -> 5.12
Diffstat (limited to 'blacklist/i486/ghc/agda')
0 files changed, 0 insertions, 0 deletions