diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-02-02 19:37:47 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-02-03 00:06:28 +0100 |
| commit | 05116d7eb1d0a3ace5fa321afe59d32bf5277e04 (patch) | |
| tree | 05e003183ceb0f6c9e872130658fdf9834e453e0 /x11-drivers/nvidia-drivers | |
| parent | dev-lang/boogie: drop old 3.0.6 (diff) | |
| download | gentoo-05116d7eb1d0a3ace5fa321afe59d32bf5277e04.tar.gz gentoo-05116d7eb1d0a3ace5fa321afe59d32bf5277e04.tar.bz2 gentoo-05116d7eb1d0a3ace5fa321afe59d32bf5277e04.zip | |
dev-lang/boogie: bump to 3.0.11
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'x11-drivers/nvidia-drivers')
0 files changed, 0 insertions, 0 deletions