i386 build of cvc4 0.1~20101127-0~ppa1~maverick1 in ubuntu maverick RELEASE
created
Build status
Successfully built on einsteinium (virtual)
- Started
- Finished (took 26 minutes, 49.0 seconds)
- buildlog (45.4 KiB)
- cvc4_0.1~20101127-0~ppa1~maverick1_i386.changes (2.7 KiB)
Build details
- Source:
- cvc4 - 0.1~20101127-0~ppa1~maverick1
- Archive:
- CVC4 SVN builds
- Series:
- Maverick
- Architecture:
- i386
- Pocket:
- Release
- Component:
- main
Binary packages
Binary packages produced by this build:
- cvc4-0.1~20101127-0~ppa1~maverick1
- cvc4-doc-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-doc_0.1~20101127-0~ppa1~maverick1_all.deb (3.8 MiB)
- cvc4_0.1~20101127-0~ppa1~maverick1_i386.deb (25.4 KiB)
- libcvc4-0_0.1~20101127-0~ppa1~maverick1_i386.deb (702.8 KiB)
- libcvc4-dev_0.1~20101127-0~ppa1~maverick1_i386.deb (2.0 MiB)
- libcvc4parser-dev_0.1~20101127-0~ppa1~maverick1_i386.deb (225.7 KiB)
- libcvc4parser0_0.1~20101127-0~ppa1~maverick1_i386.deb (120.8 KiB)