mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-18 19:43:24 -04:00
Code Issues Packages Projects Releases Wiki Activity
7,231 Commits 1 Branch 0 Tags
5933741eeecff5d9abd3803e80f5be0d0fe11db8
Commit Graph

2 Commits

Author SHA1 Message Date
Alessandro Barbieri
56d5f40d5d dev-lang/lean: add 3.34.0 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-10-21 16:12:28 +02:00
Maciej Barć
b206aa4fe3 dev-lang/lean: add version 3.33.0 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-10-19 23:41:00 +02:00