Packages in “dReal”


This PPA currently publishes packages for 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 507 builds have been created for this PPA.

Completed builds
445 successful
60 failed

Packages

in
16 of 6 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.1.20171019111120.git5f6731a3d20072d02478c806d05724f5f306f15d~17.04 (changes file) soonhok 2017-10-19 Published Zesty Devel All builds were built successfully.
libibex-dev - 2.6.1.20171019111120.git5f6731a3d20072d02478c806d05724f5f306f15d~16.04 (changes file) soonhok 2017-10-19 Published Xenial Devel All builds were built successfully.
libibex-dev - 2.6.1.20171019111120.git5f6731a3d20072d02478c806d05724f5f306f15d~14.04 (changes file) soonhok 2017-10-19 Published Trusty Devel All builds were built successfully.
16 of 6 results