diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-06-27 16:42:04 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-06-27 16:50:17 +0200 |
| commit | b276a47dda6fd8ab8a9a8aa332776bcea2e35ee0 (patch) | |
| tree | b289559b9fb1287a5cb01a3919716347a595506a /profiles/prefix/linux | |
| parent | sci-mathematics/lean: bump to 3.44.1 (diff) | |
| download | gentoo-b276a47dda6fd8ab8a9a8aa332776bcea2e35ee0.tar.gz gentoo-b276a47dda6fd8ab8a9a8aa332776bcea2e35ee0.tar.bz2 gentoo-b276a47dda6fd8ab8a9a8aa332776bcea2e35ee0.zip | |
sci-mathematics/lean: drop old 3.39.1 & 3.42.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'profiles/prefix/linux')
0 files changed, 0 insertions, 0 deletions