riscv64 build of acl2 8.4dfsg-2 in ubuntu kinetic RELEASE

created

Build status

[FAILEDTOBUILD] Failed to build on riscv64-qemu-lgw01-078

  • Started
  • Finished (took 4 days, 13 hours, 40 minutes, 44.2 seconds)

Build details

Source:
acl2 - 8.4dfsg-2
Archive:
Copy archive test-rebuild-20220617-kinetic-gcc12 for Ubuntu Archive Test Rebuilds
Series:
Kinetic
Architecture:
riscv64
Pocket:
Release
Component:
universe