I now see the branch org.debian.ada-reference-manual containing the Debian packaging scripts but I do not see any upstream branch containing the actual reference manual. Is there even such a branch? Otherwise, Florian, you should get the sources from http://www.stephe-leake.org/ada/arm_info-$(DATE)-src.tar.gz as explained in README.source. -- Ludovic Brenta.