Compcert 2.4

Closes #33097.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
pyenv 20141011

Closes #33098.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
valabind: fix build against vala 0.26

Fixes #33087.
bash-git-prompt 2.3
bash-git-prompt 2.3, Fixed audit error
bash-git-prompt: add 2.3 bottle.