[Bug 515813] New: coq fails to build for ppc64 in both opt and non-opt versions

Show replies by thread

Loading...
4862
days inactive
5349
days old

ocaml-devel@lists.fedoraproject.org

Manage subscription

2 comments
1 participants

Add to favorites Remove from favorites

tags (0)
participants (1)
  • Red Hat Bugzilla