CVS: cvs.openbsd.org: ports

[Brian Callahan]

CVSROOT:        /cvs
Module name:    ports
Changes by:     bcal...@cvs.openbsd.org 2013/12/08 14:23:40

Modified files:
        lang/seed7     : Makefile distinfo 
        lang/seed7/pkg : PLIST 

Log message:
Update Seed7 to 20131208.