Packages in “dReal”


This PPA currently publishes packages for Bionic, Artful, Zesty, Xenial, and Trusty.

Package totals

The following information is related to the total published packages in the repository (not on your system).

Package counters and estimated archive size temporarily unavailable.

View all builds Package build summary

A total of 524 builds have been created for this PPA.

Completed builds
462 successful
60 failed

Packages

in
17 of 7 results
Source Uploader Published Status Series Section Build Status
dreal - 3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~17.04 (changes file) soonhok 2017-01-17 Published Zesty Devel All builds were built successfully.
dreal - 3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04 (changes file) soonhok 2017-01-17 Published Xenial Devel All builds were built successfully.
dreal - 3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04 (changes file) soonhok 2017-01-17 Published Trusty Devel All builds were built successfully.
libibex-dev - 2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10 (changes file) soonhok 2018-02-11 Published Artful Devel All builds were built successfully.
libibex-dev - 2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04 (changes file) soonhok 2018-02-11 Published Trusty Devel All builds were built successfully.
libibex-dev - 2.6.5.20180211095239.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~16.04 (changes file) soonhok 2018-02-11 Published Xenial Devel All builds were built successfully.
libibex-dev - 2.6.5 (changes file) soonhok 2018-04-20 Published Bionic Devel All builds were built successfully.
17 of 7 results