amd64 build : 1.5.118.6b56be4.121013-ok1 : boolector package : openKylin

openKylin boolector package

amd64 build of boolector 1.5.118.6b56be4.121013-ok1 in openkylin yangtze PROPOSED

created on 2022-07-15

Build status

Successfully built on docker-amd64-0.37-8222

Started on 2022-07-16
Finished on 2022-07-16 (took 6 minutes, 45.5 seconds)
buildlog (21.6 KiB)
boolector_1.5.118.6b56be4.121013-ok1_amd64.changes (1.2 KiB)

Build details

Source:: boolector - 1.5.118.6b56be4.121013-ok1

Archive:: Primary Archive for openKylin

Series:: Yangtze V1.0

Architecture:: amd64

Pocket:: Proposed

Component:: main

Binary packages

Binary packages produced by this build:

boolector 1.5.118.6b56be4.121013-ok1

Built files

Files resulting from this build:

boolector_1.5.118.6b56be4.121013-ok1_amd64.deb (295.2 KiB)