આ કિલ્લો ક્યારેક દેવનાગરી કિલ્લા તરીકે ઓળખાતો હતો.