ada-reference-manual (1:2012.2-6) unstable; urgency=medium * patches/specify-texinfo-encoding.diff closes: #790528 -- Nicolas Boulenguez <email address hidden> Sun, 12 Jul 2015 19:31:36 +0200