CVS: cvs.openbsd.org: ports

[Daniel Dickman]

CVSROOT:        /cvs
Module name:    ports
Changes by:     dan...@cvs.openbsd.org  2020/11/22 14:30:15

Modified files:
        math/ocaml-num : Makefile distinfo 

Log message:
update to ocaml-num 1.4

ok chrisz@