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

 NameLast modifiedSizeDescription
 Parent Directory  -  
 pkg-plist2024-10-03 10:17 152K 
 Makefile2024-10-03 10:17 2.0K 
 distinfo2024-10-03 10:17 189  
 files/2024-04-13 23:31 -  
 pkg-descr2024-01-14 03:50 429