Gianfranco Costamagna

riscv64 build of coq 8.17.0+dfsg-1ubuntu3 in ubuntu noble RELEASE

  1. LocutusOfBorg's ppa
  2. riscv64 build of coq 8.17.0+dfsg-1ubu...
created

Build status

[SUPERSEDED] Build for superseded Source on riscv64-qemu-lgw01-069

  • Finished (took 0.1 seconds)

Build details

Source:
coq - 8.17.0+dfsg-1ubuntu3
Archive:
LocutusOfBorg's ppa
Series:
Noble
Architecture:
riscv64
Pocket:
Release
Component:
main