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

 NameLast modifiedSizeDescription

 Parent Directory  -  
 Makefile2018-10-28 09:36 487  
 files/2018-01-25 09:04 -  
 pkg-plist2015-06-27 00:10 621  
 pkg-descr2013-09-18 14:28 893  
 distinfo2013-09-18 14:28 133