diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-11-18 18:59:02 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-18 18:59:02 +0000 |
| commit | 1b07dd0a2cbe034321c613ee58a1f99a0df17995 (patch) | |
| tree | cb7abb08f5c9c7b7d5e79a0b69936696dccbd5c0 /sci-mathematics/lean | |
| parent | 0374a8491c853f9331b95ed2a38e688e4d2edce5 (diff) | |
gentoo auto-resync : 18:11:2022 - 18:59:02
Diffstat (limited to 'sci-mathematics/lean')
0 files changed, 0 insertions, 0 deletions