amd64 build of coq 8.18.0+dfsg-ok1 in openkylin nile RELEASE

created

Build status

[FULLYBUILT] Successfully built on docker-amd64-191.52-15208

Build details

Source:
coq - 8.18.0+dfsg-ok1
Archive:
anything2.0
Series:
Nile V2.0
Architecture:
amd64
Pocket:
Release
Component:
main

Binary packages

Binary packages produced by this build:

  • coq-8.18.0+dfsg-ok1
  • coqide-8.18.0+dfsg-ok1
  • libcoq-core-ocaml-8.18.0+dfsg-ok1
  • libcoq-core-ocaml-dev-8.18.0+dfsg-ok1
  • libcoq-stdlib-8.18.0+dfsg-ok1