riscv64 build of gecode 6.2.0-ok1 in openkylin yangtze RELEASE
created
Build status
Successfully built
on docker-riscv64-0.37-8323
- Started
- Finished (took 27 minutes, 1.2 seconds)
- buildlog (942.1 KiB)
- gecode_6.2.0-ok1_riscv64.changes (2.4 KiB)
Build details
- Source:
- gecode - 6.2.0-ok1
- Archive:
- anything
- Series:
- Yangtze V1.0
- Architecture:
- riscv64
- Pocket:
- Release
- Component:
- main
Binary packages
Binary packages produced by this build:
- flatzinc-6.2.0-ok1
- libgecode-dev-6.2.0-ok1
- libgecode49-6.2.0-ok1
- libgecodeflatzinc49-6.2.0-ok1
- libgecodegist49-6.2.0-ok1
Built files
Files resulting from this build:
- flatzinc_6.2.0-ok1_riscv64.deb (23.2 KiB)
- libgecode-dev_6.2.0-ok1_riscv64.deb (450.0 KiB)
- libgecode49_6.2.0-ok1_riscv64.deb (2.4 MiB)
- libgecodeflatzinc49_6.2.0-ok1_riscv64.deb (199.0 KiB)
- libgecodegist49_6.2.0-ok1_riscv64.deb (111.3 KiB)
