Ubuntu

arm64 build of why3 0.87.3-2ubuntu3 in ubuntu artful RELEASE

  1. Copy archive test-rebuild-20170922 for Matthias Klose
  2. arm64 build of why3 0.87.3-2ubuntu3
created

Build status

[MANUALDEPWAIT] Dependency wait on bos01-arm64-019

  • Missing build dependencies: libcoq-ocaml-dev
  • Started
  • Finished (took 1 minute, 15.1 seconds)
  • buildlog (3.4 KiB)

Build details

Source:
why3 - 0.87.3-2ubuntu3
Archive:
Copy archive test-rebuild-20170922 for Matthias Klose
Series:
Artful
Architecture:
arm64
Pocket:
Release
Component:
universe