Processing control commands: > tags -1 +unreproducible Bug #751049 [proofgeneral] proofgeneral: FTBFS - pdfetex (file cm-super-t1.enc): cannot open encoding file for reading Added tag(s) unreproducible.
-- 751049: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=751049 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
