Prior Versions of ProB

Below are details for releases going back to ProB 1.3.1. If you are interested in earlier releases, please have a look at the Download directory.

A version of ProB with built-in support for timed CSP developed by Swansea University (UK) is available on here: https://stups.hhu-hosting.de/downloads/prob/timed-csp/

Nightly builds of ProB 2 (deprecated) for Rodin 3 can be obtained from within Rodin using the update site https://stups.hhu-hosting.de/rodin/prob2/nightly/ (this will probably be replaced by a Java FX version in the future)

A hot-fix release of 1.12.0 is available here: https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2-fix1/.

Platform	Release Date	Download	Dependencies
1.12.2
Linux	10.8.2023	Tarball	Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows	10.8.2023	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS	10.8.2023	Zipfile (Universal ARM/Intel notarized) Homebrew Tap (not yet updated)	macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)

Platform	Release Date	Download	Dependencies
1.12.1
Linux	30.4.2023	Tarball	Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows	30.4.2023	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS	30.4.2023	Zipfile (Universal ARM/Intel notarized) Homebrew Tap (not yet updated)	macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)

Platform	Release Date	Download	Dependencies
1.12.0
Linux	4.4.2023	Tarball	Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows	4.4.2023	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS	4.4.2023	Zipfile (ARM notarized) Zipfile (Intel notarized) Homebrew Tap (not yet updated)	macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)

Platform	Release Date	Download	Dependencies
1.11.1
Linux	29.12.2021	Tarball	Java 8 or newer (see below), Tcl/Tk 8.5 (see below), GraphViz
Windows	29.12.2021	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS	29.12.2021	Zipfile (notarized) Homebrew Tap	macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)

Platform	Release Date	Download (64 bit)	Dependencies
1.11.0
Linux	6.10.2021	Tarball	Java 8 or newer, Tcl/Tk 8.5, GraphViz
Windows	6.10.2021	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 8 or newer, GraphViz, Windows Installation Instructions
OS X	6.10.2021	Zipfile (notarized Tk 8.5) Zipfile (notarized Tk 8.6) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 8 or newer, Graphviz

Platform	Release Date	Download (64 bit)	Dependencies
1.10.2
Linux	21.1.2021	Tarball	Java 8 or newer, Tcl/Tk 8.5, GraphViz
Windows	21.1.2021	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 8 or newer, GraphViz, Windows Installation Instructions
OS X	21.1.2021	Zipfile (notarized) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 8 or newer, Graphviz

Platform	Release Date	Download (64 bit)	Dependencies
1.10.0-final
Linux	15.12.2020	Tarball	Java 8 or newer, Tcl/Tk 8.5, GraphViz
Windows	15.12.2020	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 8 or newer, GraphViz, Windows Installation Instructions
OS X	15.12.2020	Zipfile (notarized) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 8 or newer, Graphviz

Platform	Release Date	Download (64 bit)	Dependencies
1.9.3-final
Linux	19.2.2020	Tarball	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	19.2.2020	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 7 or newer, GraphViz, Windows Installation Instructions
OS X	19.2.2020	Zipfile (notarized) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz

Platform	Release Date	Download (64 bit)	Dependencies
1.9.2-release
Linux	11.11.2019	Tarball	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	11.11.2019	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 7 or newer, GraphViz, Windows Installation Instructions
OS X	11.11.2019	Tarball Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download (64 bit)	Dependencies
1.9.1-release
Linux	8.11.2019	Tarball	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	8.11.2019	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 7 or newer, GraphViz, Windows Installation Instructions
OS X	8.11.2019	Tarball Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download (64 bit)	Dependencies
1.9.0-release
Linux	12.7.2019	Tarball	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	12.7.2019	Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5)	Tcl/Tk for Windows, Java 7 or newer, GraphViz, Windows Installation Instructions
OS X	12.7.2019	Tarball Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.8.2-final
Linux	1.10.2018	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	1.10.2018	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions GraphViz
OS X	1.10.2018	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.8.0-final
Linux	20.3.2018	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows	20.3.2018	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions GraphViz
OS X	20.3.2018	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.7.1-final
Linux	5. October 2017	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5
Windows	5. October 2017	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions GraphViz
OS X	12. October 2017	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0), Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.7.0-final
Linux	11. July 2017	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5
Windows	11. July 2017	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions GraphViz
OS X	11. July 2017	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5, Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.6.1-final
Linux	22. April 2016	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5
Windows	22. April 2016	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions GraphViz
OS X	22. April 2016	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5, Java 7 or newer, Graphviz for Mac OS X

Platform	Release Date	Download	Dependencies
1.6.0-SR1
Linux	22. April 2016	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 7 or newer, Tcl/Tk 8.5
Windows	22. April 2016	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 7 or newer, Windows Installation Instructions
OS X	22. April 2016	Tarball (with probcli) (64bit) Homebrew Tap	OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5, Java 7 or newer, Graphviz for Mac OS X
1.5.0-final
Linux	19. February 2015	Tarball (with probcli) (32bit), Tarball (with probcli) (64bit)	Java 5.0 or newer, Tcl/Tk 8.5
Windows	19. February 2015	Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit)	Tcl/Tk 8.5 for Windows, Java 5.0 or newer, Windows Installation Instructions
OS X	19. February 2015	Tarball (with probcli) (64bit) Homebrew Tap	Tcl/TK 8.5 Java 5.0 or newer, Graphviz for Mac OS X
1.3.6-final
Linux	4. March 2013	Tarball (32bit), Tarball (64bit),	Java 5.0 or newer, Tcl/Tk 8.5
Windows	4. March 2013	Zipfile (with probcli)	Tcl/Tk 8.5 for Windows, Java 5.0 or newer, Windows Installation Instructions
Mac OS X, Snow Leopard, Intel (64-bit)	4. March 2013	Tarball (with probcli)	Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11 or use at least 8.5.13) Graphviz for Mac OS X
Mac OS X, Leopard, Intel (32-bit)	4. March 2013	Tarball (with probcli)	Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11), Graphviz for Mac OS X