Processed: RM: coq-highschoolgeometry -- NPOASR; also not in stretch
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 owner@bugs.debian.org with problems
Reply to: