diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-10-26 12:06:36 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-10-26 15:11:35 +0200 |
| commit | 2ebcc7f39c3ec50ee080478c0651a13b753b0e90 (patch) | |
| tree | 0db06c97a7f39b941db339a1a31fec33cf93aef9 /games-strategy | |
| parent | dev-scheme/gambit: regenerate manifest (diff) | |
| download | gentoo-2ebcc7f39c3ec50ee080478c0651a13b753b0e90.tar.gz gentoo-2ebcc7f39c3ec50ee080478c0651a13b753b0e90.tar.bz2 gentoo-2ebcc7f39c3ec50ee080478c0651a13b753b0e90.zip | |
sci-mathematics/lean: bump to 4.2.0_rc4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'games-strategy')
0 files changed, 0 insertions, 0 deletions