CVS: cvs.openbsd.org: ports

[Benoit Lecocq]

CVSROOT:        /cvs
Module name:    ports
Changes by:     ben...@cvs.openbsd.org  2015/11/11 05:56:17

Modified files:
        lang/seed7     : Makefile distinfo 

Log message:
Update to seed7-20151110.