Processed: RFS: z3/4.8.4-0.1 -- theorem prover from Microsoft Research
Processing commands for control@bugs.debian.org:
> retitle 935900 RFS: z3/4.8.4-0.1 -- theorem prover from Microsoft Research
Bug #935900 [sponsorship-requests] RFS: z3 4.8.4-0.1 [NMU]
Changed Bug title to 'RFS: z3/4.8.4-0.1 -- theorem prover from Microsoft Research' from 'RFS: z3 4.8.4-0.1 [NMU]'.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
935900: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935900
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: