This morning transcript (other machine). bin-tetex is systematically updated ... bin-tetex: local: 10698, source: 10711 Yes, it is systematically updated when a file in its package changes :). In this case it was updmap.cfg. (I changed the header comment, although it would change when fonts are added or removed, too.) karl