diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2022-08-03 09:48:29 +0200 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2022-08-03 09:48:29 +0200 |
| commit | 8f1389abbd91edda8a6c38de3498201848e2a3b3 (patch) | |
| tree | 24e8a740176f360d0a95bc5b83dbd1f440fd56b5 /dev-lang/idris2 | |
| parent | media-sound/ncmpc: amd64 stable wrt bug #863239 (diff) | |
| download | gentoo-8f1389abbd91edda8a6c38de3498201848e2a3b3.tar.gz gentoo-8f1389abbd91edda8a6c38de3498201848e2a3b3.tar.bz2 gentoo-8f1389abbd91edda8a6c38de3498201848e2a3b3.zip | |
dev-lang/go: amd64 stable wrt bug #862870
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'dev-lang/idris2')
0 files changed, 0 insertions, 0 deletions