Processing commands for cont...@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 <bba...@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 ow...@bugs.debian.org with problems
