Processing commands for cont...@bugs.debian.org: > owner 812755 Ralf Treinen <trei...@free.fr> Bug #812755 [wnpp] ITA: spass -- An automated theorem prover for first-order logic with equality Owner recorded as Ralf Treinen <trei...@free.fr>. > thanks Stopping processing here.
Please contact me if you need assistance. -- 812755: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812755 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems