diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-06-10 15:25:06 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-06-10 15:59:42 +0200 |
| commit | cc52d8257b700044a2900d8c0413607491f4e93a (patch) | |
| tree | f9b130f351b234b7747036862a241dc17ce79327 /eclass | |
| parent | net-libs/gtk-vnc: switch IUSE=pulseaudio to media-libs/libpulse (diff) | |
| download | gentoo-cc52d8257b700044a2900d8c0413607491f4e93a.tar.gz gentoo-cc52d8257b700044a2900d8c0413607491f4e93a.tar.bz2 gentoo-cc52d8257b700044a2900d8c0413607491f4e93a.zip | |
sci-mathematics/coq: bump to 8.19.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'eclass')
0 files changed, 0 insertions, 0 deletions