summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics/lean-3.47.0
AgeCommit message (Expand)Author
2022-10-11gentoo auto-resync : 11:10:2022 - 01:37:00V3n3RiX
2022-10-04gentoo auto-resync : 04:10:2022 - 07:16:51V3n3RiX
2022-08-26gentoo auto-resync : 26:08:2022 - 02:51:21V3n3RiX