Index of /repos/ports/2024Q4/math/lean

 NameLast modifiedSizeDescription
 Parent Directory  -  
 Makefile2023-06-07 02:01 1.1K 
 distinfo2023-05-26 06:29 390  
 pkg-message2022-09-06 17:06 678  
 pkg-plist2022-09-05 18:40 31K 
 pkg-descr2020-07-21 23:40 429