diff options
author | 2021-02-11 06:31:09 +0000 | |
---|---|---|
committer | 2021-02-11 06:31:09 +0000 | |
commit | ab62053df3310721db082d539ebfdc9fbaa25401 (patch) | |
tree | 95252f67c0c7dd7f1e97c7da12f17b760c3a0809 /dev-ml/dune-private-libs | |
parent | dev-ml/ppx_inline_test: Stabilize 0.14.1 ppc, #769317 (diff) | |
download | gentoo-ab62053df3310721db082d539ebfdc9fbaa25401.tar.gz gentoo-ab62053df3310721db082d539ebfdc9fbaa25401.tar.bz2 gentoo-ab62053df3310721db082d539ebfdc9fbaa25401.zip |
dev-ml/ppx_expect: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/dune-private-libs')
0 files changed, 0 insertions, 0 deletions