Publishing details

• Published on 2017-01-17

Changelog

dreal (3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04) xenial; urgency=medium

  * bump to version 3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04

 -- Soonho Kong <email address hidden>  Tue, 17 Jan 2017 14:11:52 -0500

Builds

• amd64

Built packages

• dreal dReal SMT Solver and related tools

Package files

• dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04.debian.tar.gz (4.4 KiB)
• dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04.dsc (1.9 KiB)
• dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04.orig.tar.gz (60.2 MiB)
• dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~16.04_amd64.deb (15.2 MiB)