diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-06-04 15:23:43 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-06-04 15:39:40 +0200 |
| commit | ba2beea8e2018c7383d0478a487acc34a28c9e1a (patch) | |
| tree | 1460385154c238febed1bce1cd41748857031b9d /app-emacs/bubblet/metadata.xml | |
| parent | x11-drivers/nvidia-drivers: migrate all remaining to linux-mod-r1 (diff) | |
| download | gentoo-ba2beea8e2018c7383d0478a487acc34a28c9e1a.tar.gz gentoo-ba2beea8e2018c7383d0478a487acc34a28c9e1a.tar.bz2 gentoo-ba2beea8e2018c7383d0478a487acc34a28c9e1a.zip | |
sci-mathematics/alt-ergo: bump to 2.4.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs/bubblet/metadata.xml')
0 files changed, 0 insertions, 0 deletions