rocksdb 3.5.1
rocksdb: update 3.5.1 bottle.

Closes #33096.

Signed-off-by: Tim D. Smith <git@tim-smith.us>
stunnel 5.05

Version bump.
stunnel: update 5.05 bottle.

Closes #33084.

Signed-off-by: Tim D. Smith <git@tim-smith.us>
spiped 1.4.2
spiped: update 1.4.2 bottle.

Closes #33089.

Signed-off-by: Tim D. Smith <git@tim-smith.us>
ceylon 1.1

Closes #33064.

Signed-off-by: Tim D. Smith <git@tim-smith.us>
doctor: warn about libcurl.framework

Closes #33076.
Updated Compcert to version 2.4
compcert: add 2.4 bottle.