| Platform | ProB version | Release Date | Download |
|---|---|---|---|
| Mac OS X, Snow Leopard | 1.3.1final5 | 13.01.2010 | ProB-macsnow-1.3.1final5.tar.gz |
| Mac OS X, PowerPC, Tiger | 1.3.1final3 | 07.12.2009 | ProB-mactiger-1.3.1final3.tar.gz |
| Linux | 1.3.1final5 | 13.01.2010 | ProB-linux-1.3.1final5.tar.gz |
| Linux | 1.3.1final5 | 13.01.2010 | ProB-win-1.3.1final5.zip |