Ubuntu
acl2 package

  1. Bug #1293125
  2. Comment #3

Comment 3 for bug 1293125

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

Thanks for reporting this issue. This still happens with acl2 version 6.4-3 on Ubuntu Utopic. I added the tag "ftbfs" so that this bug report will show up on http://qa.ubuntuwire.com/ftbfs/.