What hapened to binary releases?

[jamesscottbrown]

A while ago I downloaded a file dReal-3.16.09.01-linux.tar.gz, which expanded into the following tree:

dReal-3.16.09.01-linux
├── bin
│   ├── bmc_main.native
│   ├── dOp
│   ├── dReach
│   └── dReal
├── include
│   └── dreal
│       ├── dreal.h
│       ├── dreal_c.h
│       ├── dreal_config.h
│       └── dreal_control.h
└── lib
    ├── dreal
    │   ├── dreal-config-version.cmake
    │   ├── dreal-config.cmake
    │   ├── libClp.a
    │   ├── libClp.la
    │   ├── libClpSolver.a
    │   ├── libClpSolver.la
    │   ├── libCoinUtils.a
    │   ├── libCoinUtils.la
    │   ├── libOsi.a
    │   ├── libOsi.la
    │   ├── libOsiClp.a
    │   ├── libOsiClp.la
    │   ├── libOsiCommonTests.a
    │   ├── libOsiCommonTests.la
    │   ├── libadept.a
    │   ├── libadept.la
    │   ├── libcapd.a
    │   ├── libcapd.la
    │   ├── libdop.a
    │   ├── libdreal.a
    │   ├── libglpk.a
    │   ├── libglpk.la
    │   ├── libibex.a
    │   ├── libnlopt.a
    │   ├── libnlopt.la
    │   ├── libpicosat.a
    │   ├── libprim.a
    │   └── libprim.la
    └── pkgconfig
        └── dreal.pc

However, the dreal3 releases page now has dReal-3.16.06.02 as the top option, with the more recent ones collapsed until I click on "Show 5 newer tags".

The same release now has a different name, and expands into a different directory tree:

dreal3-3.16.09.01
├── AUTHORS
├── CONTRIBUTING.md
├── COPYING
├── Dockerfile
├── LICENSE
├── README.md
├── bin
│   └── dReach
├── doc
│   ├── commit_convention.md
│   ├── generate_static_bmc_binary.md
│   ├── ode-visualization.md
│   ├── osx-gcc.md
│   ├── ubuntu-clang.md
│   ├── ubuntu-gcc.md
│   └── windows-docker.md
├── dockerbuild
│   ├── Dockerfile
│   └── build.sh
├── scripts
│   ├── README.md
│   ├── basic_examples.cpp
│   ├── bench.cpp
│   ├── control_examples.cpp
│   ├── ea.cpp
│   ├── lyp_test.cpp
│   └── test.cpp
├── src
│   | ...
│   │ ...
│
├── tools
│   | ...

93 directories, 1155 files

Significantly, the bin/ now contains only dReach, and not bmc_main.native. This means that if I want to use dReach for Bounded Model Checking still need to do a compilation from source.

The dReal-3.16.06.02-linux seems to have the structure as dReal-3.16.09.01-linux.tar.gz, but is a downgrade.