“dReal” team

amd64 build of dreal 3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04 in ubuntu xenial RELEASE

dReal
amd64 build of dreal 3.16.12.20170117...

created on 2017-01-17

Build status

Successfully built on lgw01-32

Started on 2017-01-17
Finished on 2017-01-17 (took 48 minutes, 51.1 seconds)
buildlog (53.5 KiB)
dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04_amd64.changes (1.1 KiB)

Build details

Source:: dreal - 3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04

Archive:: dReal

Series:: Xenial

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

dreal-3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04

Built files

Files resulting from this build:

dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04_amd64.deb (15.2 MiB)