Ubuntu
boolector package

armel build of boolector 1.4.ffc2089.100608-1 in ubuntu maverick RELEASE

1.4.ffc2089.100608-1
armel build

created on 2010-06-15

Build status

Successfully built on sycamore (armel)

Started on 2010-06-15
Finished on 2010-06-15 (took 9 minutes, 3.0 seconds)
buildlog (5.2 KiB)
boolector_1.4.ffc2089.100608-1_armel.changes (815 bytes)

Build details

Source:: boolector - 1.4.ffc2089.100608-1

Archive:: Primary Archive for Ubuntu

Series:: Maverick

Architecture:: armel

Pocket:: Release

Component:: universe

Binary packages

Binary packages produced by this build:

boolector 1.4.ffc2089.100608-1

Built files

Files resulting from this build:

boolector_1.4.ffc2089.100608-1_armel.deb (108.6 KiB)