← Back to unit-threaded

0.7.32 2017-Nov-14
0.7.31 2017-Sep-20
0.7.30 2017-Sep-12
0.7.29 2017-Aug-23
0.7.28 2017-Jul-25
0.7.27 2017-Jul-11
0.7.26 2017-Jul-11
0.7.25 2017-Jun-29
0.7.24 2017-May-10
0.7.23 2017-May-06
0.7.22 2017-May-02
0.7.21 2017-May-02
0.7.20 2017-Apr-29
0.7.19 2017-Apr-29
0.7.18 2017-Apr-29
0.7.17 2017-Apr-20
0.7.16 2017-Apr-17
0.7.15 2017-Apr-14
0.7.14 2017-Apr-13
0.7.13 2017-Apr-08
0.7.12 2017-Apr-08
0.7.11 2017-Apr-04
0.7.10 2017-Apr-03
0.7.9 2017-Apr-03
0.7.8 2017-Mar-21
0.7.7 2017-Mar-15
0.7.6 2017-Mar-08
0.7.5 2017-Mar-07
0.7.4 2017-Feb-23
0.7.3 2017-Jan-15
0.7.2 2016-Dec-09
0.7.1 2016-Dec-09
0.7.0 2016-Nov-01
0.6.36 2016-Dec-09
0.6.35 2016-Nov-01
0.6.34 2016-Oct-31
0.6.33 2016-Oct-31
0.6.32 2016-Oct-25
0.6.31 2016-Oct-25
0.6.30 2016-Oct-09
0.6.29 2016-Oct-06
0.6.28 2016-Sep-22
0.6.27 2016-Aug-08
0.6.26 2016-Aug-05
0.6.25 2016-Aug-02
0.6.24 2016-Jul-18
0.6.23 2016-Jul-15
0.6.22 2016-Jul-13
0.6.21 2016-Jul-10
0.6.20 2016-Jul-10
0.6.19 2016-Jul-02
0.6.18 2016-Jul-02
0.6.17 2016-May-26
0.6.16 2016-May-24
0.6.15 2016-May-23
0.6.14 2016-May-16
0.6.13 2016-May-15
0.6.12 2016-May-15
0.6.11 2016-Apr-23
0.6.10 2016-Apr-21
0.6.9 2016-Apr-20
0.6.8 2016-Apr-19
0.6.7 2016-Apr-15
0.6.6 2016-Apr-08
0.6.5 2016-Mar-09
0.6.4 2016-Mar-08
0.6.3 2016-Feb-28
0.6.2 2016-Feb-28
0.6.1 2016-Feb-27
0.6.0 2016-Feb-26
0.5.11 2016-Feb-25
0.5.10 2016-Feb-25
0.5.9 2016-Feb-09
0.5.8 2016-Feb-08
0.5.7 2016-Feb-07
0.5.6 2016-Feb-07
0.5.5 2015-Oct-20
0.5.4 2015-Oct-17
0.5.3 2015-Oct-03
0.5.2 2015-Sep-12
0.5.1 2015-Sep-11
0.5.0 2015-Sep-11
0.4.10 2015-May-18
0.4.9 2015-May-18
0.4.8 2015-May-11
0.4.7 2015-Mar-26
0.4.6 2015-Mar-24
0.4.5 2014-Oct-01
0.4.3 2014-May-03
0.4.2 2014-May-03
0.4.1 2014-May-02
0.4.0 2014-Apr-22
0.3.1 2014-Mar-17
0.3.0 2014-Jan-25
0.2.5 2014-Jan-10
0.2.4 2014-Jan-10
0.2.3 2013-Nov-16
0.2.2 2013-Nov-16
0.2.1 2013-Nov-15
0.2.0 2013-Nov-13
~master 2017-Nov-20
~should 2015-Apr-03
~parametrised_types_bug 2017-Apr-06
~gh-pages 2017-Sep-24
~experimental 2015-Oct-27