diff options
| author |   David Seifert <soap@gentoo.org> | 2022-01-02 10:13:22 +0100 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2022-01-02 10:13:22 +0100 |
| commit | b01137ded6d407d0e418c03b0442effa14327588 (patch) | |
| tree | 3ace99e2413d0a99c07a2d44b8b075b60c017563 /dev-libs/gmp/files | |
| parent | dev-libs/apr: remove mintlib (diff) | |
| download | gentoo-b01137ded6d407d0e418c03b0442effa14327588.tar.gz gentoo-b01137ded6d407d0e418c03b0442effa14327588.tar.bz2 gentoo-b01137ded6d407d0e418c03b0442effa14327588.zip | |
dev-libs/gmp: remove mintlib
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'dev-libs/gmp/files')
0 files changed, 0 insertions, 0 deletions