[Bug 191914] update port: lang/polyml

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=191914

--- Comment #1 from Timothy Beyer <beyert at 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.