CVSROOT: /cvs Module name: ports Changes by: [email protected] 2020/06/27 21:34:45
Modified files:
lang/seed7 : Makefile distinfo
lang/seed7/patches: patch-src_makefile
lang/seed7/pkg : PLIST
Log message:
Update to seed7-20200531
