Seo Sanghyeon Fri, 07 Jan 2011 21:24:21 -0800
Source: eprover Version: 1.0.004-1 Severity: wishlist Please package E 1.2.
Seo Sanghyeon -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
