Portscout Port Updates / New distfiles found via the portscout scanner Sun, 17 Dec 2017 00:09:36 +0000 brooks@freebsd.org portscout v0.8.1, by Shaun Amott devel/llvm-cheri: 6.0.d20171203 -> arcina /brooks@freebsd.org.html Update found for port devel/llvm-cheri: version 6.0.d20171203 to arcina brooks@freebsd.org devel/llvm-cheri/6.0.d20171203/arcina Fri, 8 Dec 2017 10:15:58 -0000 devel arcina http://www.freshports.org/devel/llvm-cheri/ https://codeload.github.com/https://api.github.com/repos/CTSRD-CHERI/llvm/arcina?dummy=/ Sat, 16 Dec 2017 11:34:20 -0000 Sat, 16 Dec 2017 02:16:08 -0000 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=devel%2Fllvm-cheri 6.0.d20171203 llvm-cheri emulators/qemu-cheri: 0.d20171031 -> v2.4.0 /brooks@freebsd.org.html Update found for port emulators/qemu-cheri: version 0.d20171031 to v2.4.0 brooks@freebsd.org emulators/qemu-cheri/0.d20171031/v2.4.0 Thu, 2 Nov 2017 07:47:56 -0000 v2.4.0 emulators 0.d20171031 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=emulators%2Fqemu-cheri qemu-cheri Sat, 16 Dec 2017 06:30:08 -0000 http://www.freshports.org/emulators/qemu-cheri/ https://codeload.github.com/https://api.github.com/repos/CTSRD-CHERI/qemu/v2.4.0?dummy=/ Sat, 16 Dec 2017 02:17:57 -0000 emulators/qemu-cheri128: 0.d20171031 -> v2.4.0 /brooks@freebsd.org.html Update found for port emulators/qemu-cheri128: version 0.d20171031 to v2.4.0 brooks@freebsd.org emulators/qemu-cheri128/0.d20171031/v2.4.0 Thu, 2 Nov 2017 07:47:56 -0000 emulators v2.4.0 https://codeload.github.com/https://api.github.com/repos/CTSRD-CHERI/qemu/v2.4.0?dummy=/ http://www.freshports.org/emulators/qemu-cheri128/ Sat, 16 Dec 2017 06:30:08 -0000 Sat, 16 Dec 2017 02:18:02 -0000 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=emulators%2Fqemu-cheri128 0.d20171031 qemu-cheri128 emulators/qemu-cheri128m: 0.d20171031 -> v2.4.0 /brooks@freebsd.org.html Update found for port emulators/qemu-cheri128m: version 0.d20171031 to v2.4.0 brooks@freebsd.org emulators/qemu-cheri128m/0.d20171031/v2.4.0 Thu, 2 Nov 2017 07:47:56 -0000 Sat, 16 Dec 2017 06:30:08 -0000 https://codeload.github.com/https://api.github.com/repos/CTSRD-CHERI/qemu/v2.4.0?dummy=/ http://www.freshports.org/emulators/qemu-cheri128m/ Sat, 16 Dec 2017 02:17:56 -0000 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=emulators%2Fqemu-cheri128m 0.d20171031 qemu-cheri128m emulators v2.4.0 devel/tesla: 0.0.20140425 -> tesla-0.1 /brooks@freebsd.org.html Update found for port devel/tesla: version 0.0.20140425 to tesla-0.1 brooks@freebsd.org devel/tesla/0.0.20140425/tesla-0.1 Wed, 6 Jan 2016 16:53:20 -0000 devel tesla-0.1 https://codeload.github.com/https://api.github.com/repos/CTSRD-TESLA/TESLA/tesla-0.1?dummy=/ http://www.freshports.org/devel/tesla/ Sat, 16 Dec 2017 11:35:51 -0000 Sat, 16 Dec 2017 02:14:41 -0000 http://www.freebsd.org/cgi/query-pr-summary.cgi?category=ports&text=devel%2Ftesla 0.0.20140425 tesla