diff options
| author | Erich Eckner <git@eckner.net> | 2020-05-03 09:05:15 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-05-03 09:05:23 +0200 |
| commit | 2023e11d86fef917c0f0704b009c308b738b7de2 (patch) | |
| tree | 936727de9c4243bc79f7057fa469929cc78490c2 /blacklist/i486/ghc/agda | |
| parent | af54356ad05a263ad1dcff107c762b45b0a92cbd (diff) | |
| download | packages-2023e11d86fef917c0f0704b009c308b738b7de2.tar.xz | |
core/pacman: remove temporary workaround
Diffstat (limited to 'blacklist/i486/ghc/agda')
0 files changed, 0 insertions, 0 deletions