Today I installed Miktex 2.9 and now I am having problems trying to compile a file which uses dsfont package. When running, I am asked to install dstroke package. I press yes which results in getting '! LaTeX Error: File `dsfont.sty' not found.'

Here are 2 lines from the logs which might be of interest (I tried other mirrors too, not only Texas):

2016-08-13 19:21:02,171+0300 INFO pdflatex - mpm: downloading ftp://mirror.utexas.edu/pub/ctan/systems/win32/miktex/tm/packages/next/dstroke.cab... 2016-08-13 19:21:05,977+0300 FATAL pdflatex - Remote file not found

How can I solve this problem?

EDIT As suggested in teh comment by Ulrike Fisher, tried to use MikTex package manager to synchronize and download packages. Got another error 'unknown archive file size'. Ended up just copying the .sty file to the directory of the tex file.

  • 1
    Synchronize your local package database, see tex.stackexchange.com/a/108490/2388. (You seem to use the next repositories, which I don't, so I can't test if there is a problem there. In the normal repositories the font is in the doublestroke package. Commented Aug 13, 2016 at 16:30
  • @UlrikeFischer Thanks I tried to follow the instructions in your link but now I am getting another error in Miktex package manager: Permission denied: path="C:\Users\Sinus\AppData\Local\MiKTeX\2.9\miktex/data/le\df2c24cb21984fa85003c1ecc818ff83.fndb"
    – Sinusx
    Commented Aug 13, 2016 at 16:48
  • Make sure that no miktex related application is open. Commented Aug 13, 2016 at 16:53

1 Answer 1


It's a little bit messy!

First, go to Miktex package manager (admin) and Miketex package manager and under the tab Repository click on Synchronize.

Then, go back to Miktex package manager (admin) and search for doublestroke package.

After installing this package, it is fine to use \usepackage{dsfont} (not \usepackage{doublestroke}).

  • 1
    it's \usepackage{dsfont} without the "s". I am not allowed to change just one character in your answer Commented Feb 25, 2017 at 21:44

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .