https://lists.debian.org/debian-tex-maint/2017/02/msg00009.html
Processed: Re: Bug#853939: upgrade failed
processedbugupgradefailed
https://lists.debian.org/debian-tex-maint/2017/02/msg00008.html
Bug#853939: upgrade failed
bugupgradefailed
https://lists.debian.org/debian-tex-maint/2017/02/msg00012.html
Bug#853939: upgrade failed
bugupgradefailed