Jason Gross

amd64 build of coq-8.11.1 8.11.1-1~xenial~ppa123 in ubuntu xenial RELEASE

  1. Many Coq Versions with OCaml 4.05
  2. amd64 build of coq-8.11.1 8.11.1-1~xe...
created

Build status

[FAILEDTOBUILD] Failed to build on lgw01-amd64-021

  • Started
  • Finished (took 29 minutes, 31.0 seconds)
  • buildlog (96.9 KiB)

Build details

Source:
coq-8.11.1 - 8.11.1-1~xenial~ppa123
Archive:
Many Coq Versions with OCaml 4.05
Series:
Xenial
Architecture:
amd64
Pocket:
Release
Component:
main