On Sun, 2012-11-04 at 19:54 +0100, marco atzeri wrote: > File list: > setup.hint > TeXmacs-1.0.7.16-1-src.tar.bz2 > TeXmacs-1.0.7.16-1.tar.bz2 > TeXmacs-debuginfo/setup.hint > TeXmacs-debuginfo/TeXmacs-debuginfo-1.0.7.16-1.tar.bz2 > > > remove TeXmacs-1.0.6-1
Done and done. Yaakov
