Processing control commands: > reassign -1 ftp.debian.org Bug #855564 [wnpp] O: coq-highschoolgeometry -- coq library for high school geometry proofs/formalisation Bug reassigned from package 'wnpp' to 'ftp.debian.org'. Ignoring request to alter found versions of bug #855564 to the same values previously set Ignoring request to alter fixed versions of bug #855564 to the same values previously set > retitle -1 RM: coq-highschoolgeometry -- NPOASR, also not in stretch Bug #855564 [ftp.debian.org] O: coq-highschoolgeometry -- coq library for high school geometry proofs/formalisation Changed Bug title to 'RM: coq-highschoolgeometry -- NPOASR, also not in stretch' from 'O: coq-highschoolgeometry -- coq library for high school geometry proofs/formalisation'.
-- 855564: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=855564 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
