Ubuntu

riscv64 build of acl2 8.3dfsg-2 in ubuntu impish RELEASE

  1. Copy archive test-rebuild-20210927-impish for Ubuntu Archive Test Rebuilds
  2. riscv64 build of acl2 8.3dfsg-2
created

Build status

[MANUALDEPWAIT] Dependency wait on riscv64-qemu-lcy01-087

  • Missing build dependencies: gcl (>= 2.6.12-92)
  • Started
  • Finished (took 14 minutes, 29.6 seconds)
  • buildlog (9.4 KiB)

Build details

Source:
acl2 - 8.3dfsg-2
Archive:
Copy archive test-rebuild-20210927-impish for Ubuntu Archive Test Rebuilds
Series:
Impish
Architecture:
riscv64
Pocket:
Release
Component:
universe