diff options
author | 2023-06-04 15:24:37 +0200 | |
---|---|---|
committer | 2023-06-04 15:39:41 +0200 | |
commit | 9403cd78844f9495e3feade4ae9348a95f8c718b (patch) | |
tree | 5a10788652ed1e716c253b4f38d61163032768b3 /app-emacs/bubblet/metadata.xml | |
parent | sci-mathematics/alt-ergo: bump to 2.4.3 (diff) | |
download | gentoo-9403cd78844f9495e3feade4ae9348a95f8c718b.tar.gz gentoo-9403cd78844f9495e3feade4ae9348a95f8c718b.tar.bz2 gentoo-9403cd78844f9495e3feade4ae9348a95f8c718b.zip |
sci-mathematics/alt-ergo: add live version
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs/bubblet/metadata.xml')
0 files changed, 0 insertions, 0 deletions