diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2022-07-13 09:33:06 +0200 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2022-07-13 09:33:06 +0200 |
| commit | d52b9da1289a67c002952dd2939497b1bd0e20fa (patch) | |
| tree | 6358696150b3fad5e95bcf21c3210632378181d8 /dev-ml/ppx_string | |
| parent | dev-libs/libgit2: ppc64 stable wrt bug #857795 (diff) | |
| download | gentoo-d52b9da1289a67c002952dd2939497b1bd0e20fa.tar.gz gentoo-d52b9da1289a67c002952dd2939497b1bd0e20fa.tar.bz2 gentoo-d52b9da1289a67c002952dd2939497b1bd0e20fa.zip | |
dev-libs/libgit2: ppc64 stable wrt bug #857798
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_string')
0 files changed, 0 insertions, 0 deletions