arm64 build of why 2.34-2ubuntu3 in ubuntu wily RELEASE
created
Build status
Successfully built
on bos01-arm64-026
- Started
- Finished (took 7 minutes, 5.4 seconds)
- buildlog (32.0 KiB)
- why_2.34-2ubuntu3_arm64.changes (1.5 KiB)
Build details
Binary packages
Binary packages awaiting publication:
- libwhy-coq-2.34-2ubuntu3
- why-2.34-2ubuntu3
- why-examples-2.34-2ubuntu3
Built files
Files resulting from this build: