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

 NameLast modifiedSizeDescription
 Parent Directory  -  
 Makefile2024-03-16 11:58 2.6K 
 pkg-plist2024-03-16 11:51 5.1K 
 distinfo2024-03-16 11:51 19K 
 pkg-descr2012-12-20 02:23 702