libgcrypt: quotes
libgcrypt: update 1.6.1 bottle.

Fixes #29561.
hamsterdb: fix download url

Closes #29566.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
camlp5: update homepage
coq 8.4pl4
ssreflect 1.5
ssreflect: add 1.5 bottle.
coq: add 8.4pl4 bottle.
camlp5: add 6.11 bottle.