devtools Development tools for Atari Jaguar 64 game console. Official Jaguar Kit- April 22, 1994 Official Jaguar Kit- September 9, 1994 Official Jaguar Kit- August 4, 1995 Updated tools : Contains updated development tools that run under Win32