Index of /cvsroot/pkgsrc/lang/polyml/

../
patches/                                           05-Mar-2023 20:19                   -
DESCR,v                                            20-Dec-2025 21:47                4396
MESSAGE,v                                          20-Dec-2025 21:47                4582
Makefile,v                                         20-Dec-2025 21:47               27494
PLIST,v                                            20-Dec-2025 21:47               12153
buildlink3.mk,v                                    20-Dec-2025 21:47                4445
distinfo,v                                         20-Dec-2025 21:47               33375
options.mk,v                                       20-Dec-2025 21:47                4693