amd64 build of proofgeneral 4.4.1~pre170114-1~ubuntu17.10.1~c42.ppa1 in ubuntu artful RELEASE
created
Build status
Successfully built
on lgw01-amd64-012
- Started
- Finished (took 1 minute, 50.4 seconds)
- buildlog (31.2 KiB)
- proofgeneral_4.4.1~pre170114-1~ubuntu17.10.1~c42.ppa1_amd64.changes (1.7 KiB)
- proofgeneral_4.4.1~pre170114-1~ubuntu17.10.1~c42.ppa1_amd64.buildinfo (11.4 KiB)
Build details
- Source:
- proofgeneral - 4.4.1~pre170114-1~ubuntu17.10.1~c42.ppa1
- Archive:
- c42-backport
- Series:
- Artful
- Architecture:
- amd64
- Pocket:
- Release
- Component:
- main
Binary packages
Binary packages produced by this build:
- proofgeneral-4.4.1~pre170114-1~ubuntu17.10.1~c42.ppa1
- proofgeneral-doc-4.4.1~pre170114-1~ubuntu17.10.1~c42.ppa1
Built files
Files resulting from this build:
