diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-02-17 01:49:21 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-02-17 02:22:11 +0100 |
| commit | 9ff81ed4382bff314e98719044d5bd489c730495 (patch) | |
| tree | bc63f5e8f6c0e782ba8d82ab630d430cc1b180eb /media-radio/ibp | |
| parent | dev-python/cython: Stabilize 0.29.33 arm64, #894816 (diff) | |
| download | gentoo-9ff81ed4382bff314e98719044d5bd489c730495.tar.gz gentoo-9ff81ed4382bff314e98719044d5bd489c730495.tar.bz2 gentoo-9ff81ed4382bff314e98719044d5bd489c730495.zip | |
sci-mathematics/coq-serapi: bump to 0.16.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'media-radio/ibp')
0 files changed, 0 insertions, 0 deletions