Thanks for pointing this out. We'll address this in future releases.
In the meantime, you can download an
archive of the third party tools and libraries that we used for a particular release. ProGuard is not included in the archive as it is more of a compiler/build environment tool. If it is of interest, the most recent version used and tested for a release was 3.8.