“dReal” team

amd64 build of dreal 3.16.09.20160928164548.gitf789bd0067fcf972bce177edd1753430f626c34d~15.10 in ubuntu wily RELEASE

dReal
amd64 build of dreal 3.16.09.20160928...

created on 2016-09-28

Build status

Successfully built on lcy01-07

Started on 2016-09-28
Finished on 2016-09-28 (took 32 minutes, 51.8 seconds)
buildlog (48.8 KiB)
dreal_3.16.09.20160928164548.gitf789bd0067fcf972bce177edd1753430f626c34d~15.10_amd64.changes (1.1 KiB)

Build details

Source:: dreal - 3.16.09.20160928164548.gitf789bd0067fcf972bce177edd1753430f626c34d~15.10

Archive:: dReal

Series:: Wily

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

dreal-3.16.09.20160928164548.gitf789bd0067fcf972bce177edd1753430f626c34d~15.10

Built files

Files resulting from this build: