diff options
author | Maciej Barć <xgqt@gentoo.org> | 2022-10-31 04:40:06 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2022-10-31 04:44:24 +0100 |
commit | 4b55615587fff8d0a6f297929cd3e101676f59ea (patch) | |
tree | 265b826094c34a6cb8a70c23900f58e3b2d8ac37 /eclass/xdg-utils.eclass | |
parent | profiles: Mask media-gfx/gnome-raw-thumbnailer for removal (diff) | |
download | gentoo-4b55615587fff8d0a6f297929cd3e101676f59ea.tar.gz gentoo-4b55615587fff8d0a6f297929cd3e101676f59ea.tar.bz2 gentoo-4b55615587fff8d0a6f297929cd3e101676f59ea.zip |
sci-mathematics/coq-serapi: bump to 0.16.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'eclass/xdg-utils.eclass')
0 files changed, 0 insertions, 0 deletions