Ubuntu

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

Copy archive test-rebuild-20220617-kinetic-gcc12 for Ubuntu Archive Test Rebuilds
riscv64 build of acl2 8.4dfsg-2

created on 2022-06-17

Build status

Failed to build on riscv64-qemu-lgw01-078

Started on 2022-08-08
Finished on 2022-08-12 (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