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

 NameLast modifiedSizeDescription
 Parent Directory  -  
 pkg-plist2024-06-07 18:01 111K 
 Makefile2024-06-07 18:01 1.4K 
 distinfo2024-06-07 18:01 187  
 files/2024-04-13 23:31 -  
 pkg-message2024-01-14 03:50 678  
 pkg-descr2024-01-14 03:50 429