manspelling
fixmathjax
fixsphinxversion
32bitboostextract
openmpi-version.patch
