arm64 build of coq-hierarchy-builder 1.6.0-ok1 in openkylin nile RELEASE

created

Build status

[FULLYBUILT] Successfully built on docker-arm64-0.36-33605

Build details

Source:
coq-hierarchy-builder - 1.6.0-ok1
Archive:
anything2.0
Series:
Nile V2.0
Architecture:
arm64
Pocket:
Release
Component:
main

Binary packages

Binary packages produced by this build:

  • coq-hierarchy-builder-1.6.0-ok1
  • libcoq-hierarchy-builder-1.6.0-ok1

Built files

Files resulting from this build: