Ubuntu

riscv64 build of mathcomp-analysis 0.3.13-1 in ubuntu jammy RELEASE

  1. Copy archive test-rebuild-20220317-jammy for Ubuntu Archive Test Rebuilds
  2. riscv64 build of mathcomp-analysis 0....
created

Build status

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

  • Missing build dependencies: libcoq-mathcomp-finmap
  • Started
  • Finished (took 15 minutes, 34.5 seconds)
  • buildlog (9.8 KiB)

Build details

Source:
mathcomp-analysis - 0.3.13-1
Archive:
Copy archive test-rebuild-20220317-jammy for Ubuntu Archive Test Rebuilds
Series:
Jammy
Architecture:
riscv64
Pocket:
Release
Component:
universe