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

Show replies by date

4884
days inactive
5371
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