Bug#202472: tetex-extra: doublestroke type-1 fonts missing?

[hein@acm.org]

Package: tetex-extra
Version: 2.0.2-4.1
Severity: wishlist

On CTAN there are type-1 fonts for the doublestroke package in

ftp://ftp.dante.de/pub/tex/fonts/doublestroke/

whereas tetex-extra appears to be missing them!? I would have expected
them in a place like

/usr/share/texmf/fonts/type1/public/doublestroke/dsrom10.pfb

At first glance I can't make out any copyright issue etc.

Thanks,
Hein


-- System Information
Debian Release: testing/unstable
Kernel Version: Linux qaip3 2.4.21hein4 #1 Tue Jul 1 10:33:40 CEST 2003 i686 GNU/Linux

Versions of the packages tetex-extra depends on:
ii  dpkg           1.10.10        Package maintenance system for Debian
ii  gsfonts        6.0-2.1        Fonts for the ghostscript interpreter
ii  perl-tk        800.024-1.1    Perl module providing the Tk graphics librar
ii  tetex-base     2.0.2-4.1      basic teTeX library files
ii  tetex-bin      2.0.2-4.2      teTeX binary files