Processed (with 1 errors): retitle
Processing commands for control@bugs.debian.org:
> retitle 761364 ITP: berkeley-abc -- A System for Sequential Synthesis
Bug #761364 [wnpp] ITP: abc -- A System for Sequential Synthesis and Verification
Changed Bug title to 'ITP: berkeley-abc -- A System for Sequential Synthesis' from 'ITP: abc -- A System for Sequential Synthesis and Verification'
> and Verification
Unknown command or malformed arguments to command.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
761364: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=761364
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: