drake 1.6

Closes #29598.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
gibo 1.0.3

Closes #29599.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
compcert: partially fix test
[i18nbrew] Merge branch 'master' of git://github.com/Homebrew/homebrew