amd64 build of cvc4 0.1~20101127-0~ppa1~maverick1 in ubuntu maverick RELEASE
created
Build status
Successfully built on radon (virtual)
- Started
- Finished (took 15 minutes, 47.8 seconds)
- buildlog (24.9 KiB)
- cvc4_0.1~20101127-0~ppa1~maverick1_amd64.changes (2.4 KiB)
Build details
- Source:
- cvc4 - 0.1~20101127-0~ppa1~maverick1
- Archive:
- CVC4 SVN builds
- Series:
- Maverick
- Architecture:
- amd64
- Pocket:
- Release
- Component:
- main
Binary packages
Binary packages produced by this build:
- cvc4-0.1~20101127-0~ppa1~maverick1
- libcvc4-0-0.1~20101127-0~ppa1~maverick1
- libcvc4-dev-0.1~20101127-0~ppa1~maverick1
- libcvc4parser-dev-0.1~20101127-0~ppa1~maverick1
- libcvc4parser0-0.1~20101127-0~ppa1~maverick1
Built files
Files resulting from this build:
- cvc4_0.1~20101127-0~ppa1~maverick1_amd64.deb (26.7 KiB)
- libcvc4-0_0.1~20101127-0~ppa1~maverick1_amd64.deb (739.0 KiB)
- libcvc4-dev_0.1~20101127-0~ppa1~maverick1_amd64.deb (2.1 MiB)
- libcvc4parser-dev_0.1~20101127-0~ppa1~maverick1_amd64.deb (234.2 KiB)
- libcvc4parser0_0.1~20101127-0~ppa1~maverick1_amd64.deb (124.1 KiB)