diff options
author | 2022-04-17 15:39:50 +0000 | |
---|---|---|
committer | 2022-04-18 23:05:24 +0200 | |
commit | 37ab8ca770bd9b86da75ac1af5de8edf414f0b0a (patch) | |
tree | 6f92ab2268ef7c9d9739f6d71a52420833577d09 /dev-ml/re | |
parent | dev-ml/ppx_jane: Keyword 0.14.0 riscv, #835392 (diff) | |
download | gentoo-37ab8ca770bd9b86da75ac1af5de8edf414f0b0a.tar.gz gentoo-37ab8ca770bd9b86da75ac1af5de8edf414f0b0a.tar.bz2 gentoo-37ab8ca770bd9b86da75ac1af5de8edf414f0b0a.zip |
dev-ml/seq: Keyword 0.2.2 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'dev-ml/re')
0 files changed, 0 insertions, 0 deletions