diff options
| author |   Ionen Wolkens <ionen@gentoo.org> | 2023-05-13 02:52:35 -0400 |
|---|---|---|
| committer | Ionen Wolkens <ionen@gentoo.org> | 2023-05-13 03:26:45 -0400 |
| commit | 832ad38f2e56602e85a86954ab6c2e46eac9cf6c (patch) | |
| tree | 7819839c5e7d190723755a7a8db8315297c565ac /dev-libs/mpfr | |
| parent | games-kids/gmult: update upstream metadata (diff) | |
| download | gentoo-832ad38f2e56602e85a86954ab6c2e46eac9cf6c.tar.gz gentoo-832ad38f2e56602e85a86954ab6c2e46eac9cf6c.tar.bz2 gentoo-832ad38f2e56602e85a86954ab6c2e46eac9cf6c.zip | |
games-kids/gmult: add 12.0
Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
Diffstat (limited to 'dev-libs/mpfr')
0 files changed, 0 insertions, 0 deletions