diff options
author | Yongxiang Liang <tanekliang@gmail.com> | 2022-04-17 15:39:53 +0000 |
---|---|---|
committer | Jakov Smolić <jsmolic@gentoo.org> | 2022-04-18 23:05:27 +0200 |
commit | 364e66ea19c6f79b64cd732519005737232d215b (patch) | |
tree | a79c8844ad3ca9ba226543f86a1d8ca06306136e /dev-util/envman | |
parent | dev-ml/ppx_cold: Keyword 0.14.0 riscv, #835392 (diff) | |
download | gentoo-364e66ea19c6f79b64cd732519005737232d215b.tar.gz gentoo-364e66ea19c6f79b64cd732519005737232d215b.tar.bz2 gentoo-364e66ea19c6f79b64cd732519005737232d215b.zip |
dev-ml/ppx_compare: Keyword 0.14.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'dev-util/envman')
0 files changed, 0 insertions, 0 deletions