riscv64 build of mathcomp-multinomials 2.2.0-3build1 in ubuntu oracular RELEASE

created

Build status

[FULLYBUILT] Successfully built on bos03-riscv64-051

Build details

Binary packages

Binary packages awaiting publication:

  • libcoq-mathcomp-multinomials-2.2.0-3build1

Built files

Files resulting from this build: