Index of /cvsroot/pkgsrc/math/yices2/

../
patches/                                           30-Jun-2025 09:04                   -
DESCR,v                                            30-Jun-2025 09:04                2960
Makefile,v                                         30-Jun-2025 09:04                5143
PLIST,v                                            30-Jun-2025 09:04                2632
buildlink3.mk,v                                    30-Jun-2025 09:04                2813
distinfo,v                                         30-Jun-2025 09:04                3659