On 08/05/12 at 13:20 -0400, Christopher L Conway wrote: > Lucas, > > A new version of this package has been languishing unsponsored on > mentors for two months: http://mentors.debian.net/package/cvc3. Can > you check that the problem persists in that version?
Not easily, sorry. Lucas -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
