Bug#943511: RM: opentoken -- ROM; dead upstream, replaced with wisitoken

[Nicolas Boulenguez]

Package: ftp.debian.org
Severity: normal

The upstream author is not maintaining opentoken anymore.
He is rewritting a new library from scratch.
http://www.stephe-leake.org/ada/wisitoken.html