The doublestroke package appears in this list of MiKTeX packages, but does not appear in the list in my local package manager (see attached), and likewise cannot be found when I compile. ver: ver 2.96000 installer: basic-miktex-2.9.6022
cannot reproduce your problem
Synchronize your local package database (menu Repositories).
That worked - thanks @U_Fischer. It looks like I don't have the ability to close the issue.
cannot reproduce your problem
Synchronize your local package database (menu Repositories).
That worked - thanks @U_Fischer.
It looks like I don't have the ability to close the issue.