Index of /cvsroot/pkgsrc/lang/polyml/

../
patches/                                           05-Mar-2023 20:19                   -
DESCR,v                                            22-Jun-2026 00:37                4510
MESSAGE,v                                          22-Jun-2026 00:37                4696
Makefile,v                                         21-Jul-2026 14:26               28779
PLIST,v                                            22-Jun-2026 00:37               12249
buildlink3.mk,v                                    22-Jun-2026 00:37                4541
distinfo,v                                         21-Jul-2026 14:26               34935
options.mk,v                                       22-Jun-2026 00:37                4791