Index of /cvsroot/pkgsrc/lang/polyml/

../
patches/                                           05-Mar-2023 20:19                   -
DESCR,v                                            30-Jun-2025 09:02                4282
MESSAGE,v                                          30-Jun-2025 09:02                4468
Makefile,v                                         30-Jun-2025 09:02               27394
PLIST,v                                            30-Jun-2025 09:02               12057
buildlink3.mk,v                                    30-Jun-2025 09:02                4349
distinfo,v                                         30-Jun-2025 09:02               33275
options.mk,v                                       30-Jun-2025 09:02                4595