CVS: cvs.openbsd.org: ports

[Daniel Dickman]

CVSROOT:        /cvs
Module name:    ports
Changes by:     dan...@cvs.openbsd.org  2021/02/10 21:17:32

Modified files:
        x11/lablgtk3   : Makefile distinfo 

Log message:
update to lablgtk-3.1.1 to fix the build and unlock coq