package is gone
This package is not part of any Debian
distribution. Thus you won't find much information here. The package is
either very new and hasn't appeared on mirrors yet, or it's an old package
that eventually got removed. The old news are kept for historic purpose
only.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-highschoolgeometry.png){kind=link}