diff options
author | Miroslav Šulc <fordfrog@gentoo.org> | 2024-05-09 11:12:02 +0200 |
---|---|---|
committer | Miroslav Šulc <fordfrog@gentoo.org> | 2024-05-09 11:12:24 +0200 |
commit | 69550c0e53f4523492be81b28690914a936241b9 (patch) | |
tree | 5b8fa2a0401dbc00067134931fc046e042f63823 /sci-mathematics/agda-stdlib/metadata.xml | |
parent | games-strategy/wesnoth: Fix failing test (diff) | |
download | gentoo-master.tar.gz gentoo-master.tar.bz2 gentoo-master.zip |
Bug: https://bugs.gentoo.org/931560
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'sci-mathematics/agda-stdlib/metadata.xml')
0 files changed, 0 insertions, 0 deletions