Indexed Artifacts (24.0M)

Popular Categories

The ProB 2.0 Kernel library

LicenseEPL 1.0
Used By3 artifacts

VersionRepositoryUsagesDate
3.14.x
3.14.0Central3Jan, 2021
3.13.x
3.13.0Central1Jan, 2021
3.12.x
3.12.0Central1Dec, 2020
3.11.x
3.11.0Central 0 May, 2020
3.10.x
3.10.0Central 0 Feb, 2020
3.9.x
3.9.9Central 0 Jul, 2019
3.2.x
3.2.11Central 0 Aug, 2018
3.2.10Central 0 Jul, 2018
3.2.9Central 0 Mar, 2018
3.2.7Central 0 Nov, 2017
3.2.6Central 0 Nov, 2017
3.2.5Central 0 Nov, 2017
3.2.4Central 0 Oct, 2017
3.2.3Central 0 Sep, 2017
3.2.2Central 0 Jul, 2017
3.2.1Central 0 Apr, 2017
3.1.x
3.1.0Central 0 Mar, 2017
3.0.x
3.0.0Central 0 Jan, 2017
2.0.x
2.0.3Central 0 Sep, 2016
2.0.2Central1Aug, 2016
2.0.1Central 0 Aug, 2016
2.0.0Central1Feb, 2016