Hello, Norbert Preining, le ven. 27 avril 2018 09:27:40 +0900, a ecrit: > it seems something really bad has happened: > Why did libsynctex1 2018.20180416.47457-1 end up in testing?
Uh. Actually what surprises me is that it's version 2018.20180416.47457-1 which got there, while the rest of binary packages of texlive-bin have version 2018.20180416.47457-2, and bug #895980 does have Found in versions 2018.20180416.47457-1 and Fixed in version 2018.20180416.47457-2. > Furthermore, how should we proceed? > > The texworks and zathura are fixed, but emacs-pdf-tools, gummi, and > texmaker are still open. Just a guess: just rebuild them? Since libsynctex-dev points at libsynctex2, the rebuild should get the dependency to libsynctex2. Samuel