ledger: fix missing gmp dependency.

Closes #22352.
doxygen: fix sourceforge mirror URL.

Closes #22351.