Thanks :)
The dungeons are procedurally generated (you can look at the source - dungeon.cpp), but they are seeded the same every time (The seed is 210893 + (++level) * 100). It constructs Gabriel graph from random points (rooms), and then makes corridors between those points and rooms with random size at the points. Also, the starting room is always in center of map.