Ubuntu
boolector package

arm64 build of boolector 1.5.118.6b56be4.121013-1 in ubuntu saucy RELEASE

1.5.118.6b56be4.121013-1
arm64 build

created on 2013-09-12

Build status

Successfully built on magic (arm64)

Started on 2013-10-11
Finished on 2013-10-11 (took 3 minutes, 3.7 seconds)
buildlog (7.4 KiB)
boolector_1.5.118.6b56be4.121013-1_arm64.changes (847 bytes)

Build details

Source:: boolector - 1.5.118.6b56be4.121013-1

Archive:: Primary Archive for Ubuntu

Series:: Saucy

Architecture:: arm64

Pocket:: Release

Component:: universe

Binary packages

Binary packages produced by this build:

boolector 1.5.118.6b56be4.121013-1

Built files

Files resulting from this build:

boolector_1.5.118.6b56be4.121013-1_arm64.deb (315.6 KiB)