CVS: cvs.openbsd.org: ports

[Daniel Dickman]

CVSROOT:        /cvs
Module name:    ports
Changes by:     dan...@cvs.openbsd.org  2025/09/13 21:08:38

Modified files:
        lang/polyml    : Makefile distinfo 
        lang/polyml/patches: patch-configure 

Log message:
update polyml to 5.9.2