diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-09-22 14:30:09 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-22 16:09:44 +0200 |
| commit | 08c0ba171725865402e4419a0775830ff6b96460 (patch) | |
| tree | 1aca73e39c1781f85285dd177782ecd1dd04dfb3 /dev-ml | |
| parent | sci-mathematics/alt-ergo: drop old 2.4.1-r2 (diff) | |
| download | gentoo-08c0ba171725865402e4419a0775830ff6b96460.tar.gz gentoo-08c0ba171725865402e4419a0775830ff6b96460.tar.bz2 gentoo-08c0ba171725865402e4419a0775830ff6b96460.zip | |
sci-mathematics/alt-ergo: drop old 2.4.2-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
0 files changed, 0 insertions, 0 deletions