Date: Thu, 17 Jul 2014 07:58:52 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 191914] update port: lang/polyml Message-ID: <bug-191914-13-JhD5k3FC3W@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-191914-13@https.bugs.freebsd.org/bugzilla/> References: <bug-191914-13@https.bugs.freebsd.org/bugzilla/>
next in thread | previous in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=191914 --- Comment #1 from Timothy Beyer <beyert@cs.ucr.edu> --- Status of RedPorts: lang/polyml 5.5.2 10.0-RELEASE/amd64 success 15 minutes Buildlog 10.0-RELEASE/i386 success 2 minutes Buildlog 9.2-RELEASE/amd64 success 3 minutes Buildlog 9.2-RELEASE/i386 success 14 minutes Buildlog QATty depend (missing_header in lang/gcc) 7 minutes Buildlog https://redports.org/buildarchive/20140717062600-58905/ Note that the missing_header in QATty is for lang/gcc, not the port itself, so I believe that it is irrelevant. -- You are receiving this mail because: You are the assignee for the bug.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-191914-13-JhD5k3FC3W>