“dReal” team

amd64 build of libibex-dev 2.6.3.20171215122721.git2275df8f465a9db6a42d497ca322011ff2c6f8f7~17.04 in ubuntu zesty RELEASE

dReal
amd64 build of libibex-dev 2.6.3.2017...

created on 2017-12-15

Build status

Successfully built on lgw01-amd64-046

Started on 2017-12-15
Finished on 2017-12-15 (took 4 minutes, 6.8 seconds)
buildlog (38.6 KiB)
libibex-dev_2.6.3.20171215122721.git2275df8f465a9db6a42d497ca322011ff2c6f8f7~17.04_amd64.changes (1.1 KiB)

Build details

Source:: libibex-dev - 2.6.3.20171215122721.git2275df8f465a9db6a42d497ca322011ff2c6f8f7~17.04

Archive:: dReal

Series:: Zesty

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

libibex-dev-2.6.3.20171215122721.git2275df8f465a9db6a42d497ca322011ff2c6f8f7~17.04

Built files

Files resulting from this build: