diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 13:13:31 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 15:13:30 +0200 |
commit | c107576bd2c296123cf87e5d340b767c9f9bf1d1 (patch) | |
tree | 8bbc6ccef76cadf1a9bb1eb0af9545776f359d5d /dev-ml/ppx_here | |
parent | dev-ml/ppx_cold: add 0.16.0 (diff) | |
download | gentoo-c107576bd2c296123cf87e5d340b767c9f9bf1d1.tar.gz gentoo-c107576bd2c296123cf87e5d340b767c9f9bf1d1.tar.bz2 gentoo-c107576bd2c296123cf87e5d340b767c9f9bf1d1.zip |
dev-ml/ppx_enumerate: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_here')
0 files changed, 0 insertions, 0 deletions