[Updating] lhs2tex (1.11-2 [Ubuntu] < 1.11-3 [Debian])
* Trying to add lhs2tex...
- <lhs2tex_1.11-3.diff.gz: downloading from http://ftp.debian.org/debian/>
- <lhs2tex_1.11.orig.tar.gz: already in distro - downloading from librarian>
- <lhs2tex_1.11-3.dsc: downloading from http://ftp.debian.org/debian/>
I: lhs2tex [universe] -> lhs2tex_1.11-2 [universe].
** Changed in: lhs2tex (Ubuntu)
Importance: Undecided => Wishlist
Status: Confirmed => Fix Released
--
[Sync request] Sync lhs2tex (1.11-3) from Debian unstable (main)
https://launchpad.net/bugs/95281
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
