riscv64 build of elpi 1.17.4-ok1 in openkylin nile RELEASE

created

Build status

[FULLYBUILT] Successfully built on docker-riscv64-hh-native-15254

Build details

Source:
elpi - 1.17.4-ok1
Archive:
anything2.0
Series:
Nile V2.0
Architecture:
riscv64
Pocket:
Release
Component:
main

Binary packages

Binary packages produced by this build:

  • elpi-1.17.4-ok1
  • libelpi-ocaml-1.17.4-ok1
  • libelpi-ocaml-dev-1.17.4-ok1

Built files

Files resulting from this build: