Jason Gross

created

Build status

[MANUALDEPWAIT] Dependency wait on lcy02-amd64-041

  • Missing build dependencies: ocaml-dune (>= 2.9)
  • Started
  • Finished (took 4 minutes, 59.1 seconds)
  • buildlog (9.9 KiB)

Build details

Recipe:
Recipe coq-8.18-daily-coqide-no for Jason Gross
Archive:
Coq Daily Builds (v8.18)
Series:
Bionic
Pocket:
Release
Binary builds:
None