Portscout Port Updates / New distfiles found via the portscout scanner Fri, 24 May 2019 02:47:06 +0000 beyert@cs.ucr.edu portscout v0.8.1, by Shaun Amott lang/polyml: 5.7.1 -> v5.8 /beyert@cs.ucr.edu.html Update found for port lang/polyml: version 5.7.1 to v5.8 beyert@cs.ucr.edu lang/polyml/5.7.1/v5.8 Tue, 12 Mar 2019 08:54:19 -0000 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=lang%2Fpolyml lang Thu, 23 May 2019 07:08:19 -0000 http://www.freshports.org/lang/polyml/ Fri, 24 May 2019 02:25:23 -0000 polyml 5.7.1 v5.8 https://codeload.github.com/https://api.github.com/repos/polyml/polyml/v5.8?dummy=/ lang/mlton: 20100608 -> 20180207 /beyert@cs.ucr.edu.html Update found for port lang/mlton: version 20100608 to 20180207 beyert@cs.ucr.edu lang/mlton/20100608/20180207 Thu, 8 Feb 2018 04:09:30 -0000 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=lang%2Fmlton http://www.freshports.org/lang/mlton/ Thu, 23 May 2019 04:36:12 -0000 Fri, 24 May 2019 02:25:29 -0000 lang mlton 20100608 20180207 https://kent.dl.sourceforge.net/project/mlton/mlton/20180207/mlton-20180207.src.tgz x11/dmenu2: 0.0.20150210 -> 0.1.1 /beyert@cs.ucr.edu.html Update found for port x11/dmenu2: version 0.0.20150210 to 0.1.1 beyert@cs.ucr.edu x11/dmenu2/0.0.20150210/0.1.1 Sun, 19 Mar 2017 08:11:47 -0000 0.0.20150210 https://codeload.github.com/https://api.github.com/repos/mrshankly/dmenu2/0.1.1?dummy=/ 0.1.1 dmenu2 x11 Thu, 23 May 2019 04:32:31 -0000 http://www.freshports.org/x11/dmenu2/ Fri, 24 May 2019 02:40:04 -0000 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=x11%2Fdmenu2 math/proofgeneral: 4.1 -> 4.2 /beyert@cs.ucr.edu.html Update found for port math/proofgeneral: version 4.1 to 4.2 beyert@cs.ucr.edu math/proofgeneral/4.1/4.2 Sat, 20 Oct 2012 04:01:26 -0000 4.1 4.2 http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz proofgeneral http://www.freshports.org/math/proofgeneral/ Thu, 23 May 2019 07:47:06 -0000 Fri, 24 May 2019 02:26:57 -0000 math http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=math%2Fproofgeneral