CVS: cvs.openbsd.org: ports

[Robert Nagy]

CVSROOT:        /cvs
Module name:    ports
Changes by:     rob...@cvs.openbsd.org  2023/07/31 05:30:44

Modified files:
        lang/mono      : Makefile distinfo 

Log message:
use the official distfile now that it is available