diff options
| author |   Arthur Zamarin <arthurzam@gentoo.org> | 2024-06-02 22:43:51 +0300 |
|---|---|---|
| committer | Arthur Zamarin <arthurzam@gentoo.org> | 2024-06-02 22:43:51 +0300 |
| commit | 1b480f3a16e973598cba081003b49e5b978dfdda (patch) | |
| tree | 2ce9f52138d69e0c55c5fadb8fae310fcb629863 /dev-ml/ppx_pipebang | |
| parent | dev-ml/ppx_module_timer: Stabilize 0.16.0 arm, #933369 (diff) | |
| download | gentoo-1b480f3a16e973598cba081003b49e5b978dfdda.tar.gz gentoo-1b480f3a16e973598cba081003b49e5b978dfdda.tar.bz2 gentoo-1b480f3a16e973598cba081003b49e5b978dfdda.zip | |
dev-ml/ppx_optional: Stabilize 0.16.0 arm, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_pipebang')
0 files changed, 0 insertions, 0 deletions