Bug#855564: RM: coq-highschoolgeometry -- NPOASR; also not in stretch

[Adrian Bunk <bunk@debian.org>]

Control: reassign -1 ftp.debian.org
Control: retitle -1 RM: coq-highschoolgeometry -- NPOASR, also not in stretch

coq-highschoolgeometry was never part of a stable release, and was due 
to RC #850925 removed from stretch.

The package is orphaned.

cu
Adrian

-- 

       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed