Portscout Port Updates / New distfiles found via the portscout scanner Sun, 12 Oct 2025 02:48:31 +0000 gahr@freebsd.org portscout v0.8.1, by Shaun Amott lang/seed7: 05_20250729 -> 05_20250930 /gahr@freebsd.org.html Update found for port lang/seed7: version 05_20250729 to 05_20250930 gahr@freebsd.org lang/seed7/05_20250729/05_20250930 Wed, 1 Oct 2025 03:18:59 -0000 Sat, 11 Oct 2025 03:19:18 -0000 05_20250729 lang http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=lang%2Fseed7 05_20250930 http://www.freshports.org/lang/seed7/ Sat, 11 Oct 2025 02:18:58 -0000 seed7 https://kumisystems.dl.sourceforge.net/project/seed7/seed7/seed7_05_20250930/seed7_05_20250930.tgz