Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 10 Nov 2005 11:25:53 GMT
From:      Simon Barner <barner@FreeBSD.org>
To:        barner@FreeBSD.org, barner@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org
Subject:   Re: ports/84819: [MAINTAINER] math/coq: enable on ia64
Message-ID:  <200511101125.jAABPr4M009146@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help
Synopsis: [MAINTAINER] math/coq: enable on ia64

Responsible-Changed-From-To: barner->freebsd-ports-bugs
Responsible-Changed-By: barner
Responsible-Changed-When: Thu Nov 10 11:23:17 GMT 2005
Responsible-Changed-Why: 
Problem is an architecture specific code generation bug in ocaml, and it is known
the upstream developers, but they don't have ia64 machines to test on.

Keep the PR in state suspended as a reference.

http://www.freebsd.org/cgi/query-pr.cgi?pr=84819



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200511101125.jAABPr4M009146>