amd64 build of why 2.38-1build3 in ubuntu artful RELEASE
created
Build status
Successfully built on lgw01-08
- Started
- Finished (took 3 minutes, 19.8 seconds)
- buildlog (29.6 KiB)
- why_2.38-1build3_amd64.changes (1.7 KiB)
- why_2.38-1build3_amd64.buildinfo (8.5 KiB)
Binary packages
Binary packages produced by this build:
- libwhy-coq-2.38-1build3
- why-2.38-1build3
- why-dbgsym-2.38-1build3
Built files
Files resulting from this build:
- libwhy-coq_2.38-1build3_all.deb (34.4 KiB)
- why-dbgsym_2.38-1build3_amd64.ddeb (94.9 KiB)
- why_2.38-1build3_amd64.deb (3.3 MiB)