ppc64el build of agda 2.6.1-1build2.1 in ubuntu kinetic RELEASE
created
Build status
Successfully built
on bos02-ppc64el-013
- Started
- Finished (took 59 minutes, 45.8 seconds)
- buildlog (116.1 KiB)
- agda_2.6.1-1build2.1_ppc64el.changes (1.6 KiB)
- agda_2.6.1-1build2.1_ppc64el.buildinfo (13.4 KiB)
Build details
- Source:
- agda - 2.6.1-1build2.1
- Series:
- Kinetic
- Architecture:
- ppc64el
- Pocket:
- Release
- Component:
- universe
Binary packages
Binary packages awaiting publication:
- agda-bin-2.6.1-1build2.1
- libghc-agda-dev-2.6.1-1build2.1
Built files
Files resulting from this build:
- agda-bin_2.6.1-1build2.1_ppc64el.deb (13.7 MiB)
- libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb (62.4 MiB)