Portscout Port Updates / New distfiles found via the portscout scanner Wed, 21 Aug 2019 11:09:43 +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.freshports.org/lang/polyml/ v5.8 Wed, 21 Aug 2019 02:19:04 -0000 5.7.1 polyml lang http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=lang%2Fpolyml Wed, 21 Aug 2019 04:42:53 -0000 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.freshports.org/lang/mlton/ 20180207 Wed, 21 Aug 2019 02:19:07 -0000 20100608 mlton lang http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=lang%2Fmlton Wed, 21 Aug 2019 05:19:17 -0000 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 https://codeload.github.com/https://api.github.com/repos/mrshankly/dmenu2/0.1.1?dummy=/ x11 Wed, 21 Aug 2019 02:40:50 -0000 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=x11%2Fdmenu2 0.0.20150210 dmenu2 http://www.freshports.org/x11/dmenu2/ Wed, 21 Aug 2019 02:29:31 -0000 0.1.1 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 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=math%2Fproofgeneral Wed, 21 Aug 2019 02:40:56 -0000 math http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz 4.2 Wed, 21 Aug 2019 02:19:54 -0000 http://www.freshports.org/math/proofgeneral/ proofgeneral 4.1