Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
rodin-3.2.0.201506220911-ecacdcb-linux.gtk.x86.tar.gz | 2015-09-22 | 81.6 MB | |
README.md | 2015-06-22 | 184 Bytes | |
org.rodinp.dev-3.2.0-ecacdcb.zip | 2015-06-22 | 172.2 MB | |
rodin-3.2-repo.zip | 2015-06-22 | 15.9 MB | |
rodin-3.2.0.201506220911-ecacdcb-linux.gtk.x86_64.tar.gz | 2015-06-22 | 81.8 MB | |
rodin-3.2.0.201506220911-ecacdcb-macosx.cocoa.x86_64.tar.gz | 2015-06-22 | 81.6 MB | |
rodin-3.2.0.201506220911-ecacdcb-win32.win32.x86_64.zip | 2015-06-22 | 82.4 MB | |
rodin-3.2.0.201506220911-ecacdcb-win32.win32.x86.zip | 2015-06-22 | 82.4 MB | |
Totals: 8 Items | 597.9 MB | 0 |
Please see Rodin Platform release notes at:
http://wiki.event-b.org/index.php/Rodin_Platform_3.2_Release_Notes