Arasan 13.1 is available from http://www.arasanchess.org.
This version fixes a couple of bugs reported by Steven Atkinson, plus a few other things.
Changes in Arasan 13.1:
1) KPK bitbases are now internal to the program, not stored in files.
2) Minor change to checks in qsearch conditions.
3) Fix bug in see pruning affecting stalemate detection.
4) Fix bug where UCI PV output was omitted in case search terminated
very rapidly (for example, in cases of a forced mate).
5) Handle DOS-style CR/LF from chess interfaces such as SCID.
6) Some book additions/fixes.
For some more details on fix #3 see
http://arasanchess.org/blog.shtml.
In testing with SCID I found it sends both CR + LF after a command, which confused the engine. This is fixed now.
I don't expect this version is very different in strength from 13.0, just less buggy.