Ubuntu
acl2 package

  1. Bug #1293125
  2. Comment #4

Comment 4 for bug 1293125

Revision history for this message
Hans Joachim Desserud (hjd) wrote : Re: [arm64] [ppc64el] builders locked due to: Missing build dependencies: gcl

(That is to say, it is still missing gcl on these architectures. It doesn't seem to be locking the builders)