Ubuntu

riscv64 build of acl2 8.3dfsg-1 in ubuntu hirsute RELEASE

  1. Copy archive test-rebuild-20210325-hirsute for Matthias Klose
  2. riscv64 build of acl2 8.3dfsg-1
created

Build status

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

  • Missing build dependencies: gcl (>= 2.6.12-92)
  • Started
  • Finished (took 20 minutes, 5.7 seconds)
  • buildlog (12.4 KiB)

Build details

Source:
acl2 - 8.3dfsg-1
Archive:
Copy archive test-rebuild-20210325-hirsute for Matthias Klose
Series:
Hirsute
Architecture:
riscv64
Pocket:
Release
Component:
universe