Processed: retitle to RFP: lean -- theorem prover from Microsoft Research
Processing commands for control@bugs.debian.org:
> retitle 866334 RFP: lean -- theorem prover from Microsoft Research
Bug #866334 [wnpp] ITP: lean -- theorem prover from Microsoft Research
Changed Bug title to 'RFP: lean -- theorem prover from Microsoft Research' from 'ITP: lean -- theorem prover from Microsoft Research'.
> noowner 866334
Bug #866334 [wnpp] RFP: lean -- theorem prover from Microsoft Research
Removed annotation that Bug was owned by Benjamin Barenblat <bbaren@mit.edu>.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
866334: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=866334
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: