Bug#202472: doublestroke type-1 fonts missing?

[Hein Roehrig <hein@acm.org>]

Dear teTeX mailing list,

I noticed that on Debian (package tetex-extra 2.0.2-4.1) the Type-1
fonts from http://www.ctan.org/tex-archive/fonts/doublestroke are
missing, whereas the other files are present.

I was told that this is the same situation in the teTeX source. Google
turned out a message from the Debian teTeX maintainers
<200203192130.g2JLUgTJ005704@diziet.clawpaws.net> which cited
doublestroke as having no license, which is weird in face of
http://www.ctan.org/tex-archive/fonts/doublestroke/readme containing 

| License
| -------
| 
| You may use and distribute these fonts as you like.
| You may modify these fonts as long as you do not
| rename the files to one of those names that 
| Donald E. Knuth chose for the Computer Modern fonts.
| (And seriously, who would want to do that?)

Thanks in advance for any advice,
Hein