diff options
| author | Po-Chuan Hsieh <sunpoet@FreeBSD.org> | 2025-07-13 12:38:15 +0000 |
|---|---|---|
| committer | Po-Chuan Hsieh <sunpoet@FreeBSD.org> | 2025-07-13 12:39:57 +0000 |
| commit | af3235e9105adc942d897b5c712d6444b631803c (patch) | |
| tree | 1bdcc685598b1378a7c841d1b46189b13a6f803a /math/lean4/files/patch-src_bin_leanc.in | |
| parent | c92d24f6e2ef3f6858c4db7f4dee0c97ed880b5b (diff) | |
Diffstat (limited to 'math/lean4/files/patch-src_bin_leanc.in')
0 files changed, 0 insertions, 0 deletions