Processing commands for cont...@bugs.debian.org: > retitle 812755 ITA: spass -- An automated theorem prover for first-order > logic with equality Bug #812755 [wnpp] O: spass -- An automated theorem prover for first-order logic with equality Changed Bug title to 'ITA: spass -- An automated theorem prover for first-order logic with equality' from 'O: spass -- An automated theorem prover for first-order logic with equality'. > 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
