diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-10-07 12:00:01 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-10-07 12:00:01 +0100 |
commit | a519cf56a0e5e456006d39c06f68de5e11c2f7e9 (patch) | |
tree | eb3511664a62de4a02ec7f25a9a3935956e288ab /metadata/md5-cache/sci-mathematics/lean-3.49.0 | |
parent | d63d16d19ab9b58260753953a431d39230f2c362 (diff) |
gentoo auto-resync : 07:10:2023 - 12:00:01
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/lean-3.49.0')
0 files changed, 0 insertions, 0 deletions