Index of /cvsroot/pkgsrc/math/minisat/

../
patches/                                           30-Jun-2025 09:04                   -
DESCR,v                                            30-Jun-2025 09:03                3355
Makefile,v                                         30-Jun-2025 09:03                5384
PLIST,v                                            30-Jun-2025 09:03                3240
distinfo,v                                         30-Jun-2025 09:03                5538