mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-18 03:23:20 -04:00
Code Issues Packages Projects Releases Wiki Activity
7,397 Commits 1 Branch 0 Tags
be2c39fcdaa2101aaae7b14c17b337bf82b97186
Commit Graph

1 Commits

Author SHA1 Message Date
Maciej Barć
be2c39fcda dev-lang/lean: bump to 3.35.0 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-05 09:30:48 +01:00