diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-04-26 19:04:36 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-04-26 19:04:57 +0200 |
| commit | f3c44e9225a588e992cfa94b8e3e78e6001983c1 (patch) | |
| tree | 6c671903030a5bb5c0e18077ddbf670ce3605c66 /dev-libs/mpfr | |
| parent | package.mask: add core to janestreet mask (diff) | |
| download | gentoo-f3c44e9225a588e992cfa94b8e3e78e6001983c1.tar.gz gentoo-f3c44e9225a588e992cfa94b8e3e78e6001983c1.tar.bz2 gentoo-f3c44e9225a588e992cfa94b8e3e78e6001983c1.zip | |
dev-ml/core: 0.15.0 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-libs/mpfr')
0 files changed, 0 insertions, 0 deletions