diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-01-28 18:42:17 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-01-28 18:43:11 +0100 |
| commit | 1aec768d3faa6ed552c7704115a5f9b1cd1deab2 (patch) | |
| tree | 03a6cd7380b7390749fdf0b9706fd4051d48afd4 /media-sound | |
| parent | app-accessibility/brltty: 6.4 bump (diff) | |
| download | gentoo-1aec768d3faa6ed552c7704115a5f9b1cd1deab2.tar.gz gentoo-1aec768d3faa6ed552c7704115a5f9b1cd1deab2.tar.bz2 gentoo-1aec768d3faa6ed552c7704115a5f9b1cd1deab2.zip | |
sci-mathematics/coq: bump to 8.15.0
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'media-sound')
0 files changed, 0 insertions, 0 deletions