Index of /repos/ports/2024Q4/math/hs-Agda

 NameLast modifiedSizeDescription
 Parent Directory  -  
 Makefile2024-09-19 17:23 2.7K 
 distinfo2024-09-19 17:23 20K 
 pkg-descr2024-08-21 10:32 702  
 pkg-plist2024-03-16 11:51 5.1K