Portscout Port Updates / New distfiles found via the portscout scanner Fri, 4 Dec 2020 13:44:52 +0000 beyert@cs.ucr.edu portscout v0.8.1, by Shaun Amott lang/mlton: 20100608 -> 20201002 /beyert@cs.ucr.edu.html Update found for port lang/mlton: version 20100608 to 20201002 beyert@cs.ucr.edu lang/mlton/20100608/20201002 Sat, 3 Oct 2020 06:12:03 -0000 http://www.freshports.org/lang/mlton/ mlton https://vorboss.dl.sourceforge.net/project/mlton/mlton/20201002/mlton-20201002.src.tgz Thu, 3 Dec 2020 02:19:56 -0000 Fri, 4 Dec 2020 13:41:22 -0000 20201002 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=lang%2Fmlton 20100608 lang lang/polyml: 5.8 -> v5.8.1 /beyert@cs.ucr.edu.html Update found for port lang/polyml: version 5.8 to v5.8.1 beyert@cs.ucr.edu lang/polyml/5.8/v5.8.1 Tue, 21 Jul 2020 03:24:38 -0000 v5.8.1 5.8 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=lang%2Fpolyml lang http://www.freshports.org/lang/polyml/ Fri, 4 Dec 2020 11:40:23 -0000 Thu, 3 Dec 2020 02:19:52 -0000 polyml https://codeload.github.com/https://api.github.com/repos/polyml/polyml/v5.8.1?dummy=/