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 /app-cdr/cdrtools | |
| 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 'app-cdr/cdrtools')
0 files changed, 0 insertions, 0 deletions