arm64 build of cadical 1.7.4-1 in ubuntu noble RELEASE
created
Build status
Successfully built on bos02-arm64-039
- Started
- Finished (took 49 minutes, 54.0 seconds)
- buildlog (53.1 KiB)
- cadical_1.7.4-1_arm64.changes (1.6 KiB)
- cadical_1.7.4-1_arm64.buildinfo (6.1 KiB)
Build details
Binary packages
Binary packages awaiting publication:
- cadical-1.7.4-1
- libcadical-dev-1.7.4-1
Built files
Files resulting from this build:
- cadical_1.7.4-1_arm64.deb (444.0 KiB)
- libcadical-dev_1.7.4-1_arm64.deb (379.6 KiB)