amd64 build of coq-8.15+rc1 8.15+~rc1-1~hirsute~ppa178 in ubuntu hirsute RELEASE

created

Build status

[FULLYBUILT] Successfully built on lgw01-amd64-027

Build details

Source:
coq-8.15+rc1 - 8.15+~rc1-1~hirsute~ppa178
Archive:
Many Coq Versions with OCaml 4.11
Series:
Hirsute
Architecture:
amd64
Pocket:
Release
Component:
main

Binary packages

Binary packages produced by this build:

  • coq-8.15+rc1-8.15+~rc1-1~hirsute~ppa178
  • coq-8.15+rc1-theories-8.15+~rc1-1~hirsute~ppa178
  • coq-8.15+rc1ide-8.15+~rc1-1~hirsute~ppa178
  • libcoq-8.15+rc1-ocaml-8.15+~rc1-1~hirsute~ppa178
  • libcoq-8.15+rc1-ocaml-dev-8.15+~rc1-1~hirsute~ppa178