All available versions of fixpoint
-
0.9.1
Oct 26, 2024
-
0.9.0
Oct 22, 2024
-
0.8.52
Oct 22, 2024
-
0.8.51
Oct 21, 2024
-
0.8.50
Oct 04, 2024
-
0.8.49
Sep 30, 2024
-
0.8.48
Sep 28, 2024
-
0.8.46
Sep 22, 2024
-
0.8.44
Sep 21, 2024
-
0.8.43
Sep 21, 2024
-
0.8.42
Sep 19, 2024
-
0.8.41
Sep 18, 2024
-
0.8.40
Sep 15, 2024
-
0.8.39
Sep 14, 2024
-
0.8.38
Sep 12, 2024
-
0.8.37
Sep 06, 2024
-
0.8.36
Sep 03, 2024
-
0.8.35
Sep 02, 2024
-
0.8.34
Aug 10, 2024
-
0.8.33
Aug 05, 2024
-
0.8.32
Jul 31, 2024
-
0.8.31
Jul 31, 2024
-
0.8.30
Jul 21, 2024
-
0.8.29
Jul 20, 2024
-
0.8.28
Jun 23, 2024
-
0.8.27
Jun 13, 2024
-
0.8.26
Jun 10, 2024
-
0.8.25
May 22, 2024
-
0.8.24
May 15, 2024
-
0.8.23
May 11, 2024
-
0.8.22
May 04, 2024
-
0.8.21
Apr 19, 2024
-
0.8.20
Apr 13, 2024
-
0.8.19
Apr 13, 2024
-
0.8.18
Apr 11, 2024
-
0.8.17
Apr 10, 2024
-
0.8.16
Apr 08, 2024
-
0.8.15
Mar 29, 2024
-
0.8.14
Mar 27, 2024
-
0.8.13
Mar 19, 2024
-
0.8.12
Mar 18, 2024
-
0.8.11
Mar 11, 2024
-
0.8.10
Mar 09, 2024
-
0.8.9
Mar 09, 2024
-
0.8.8
Mar 07, 2024
-
0.8.7
Mar 07, 2024
-
0.8.6
Mar 01, 2024
-
0.8.5
Feb 18, 2024
-
0.8.4
Feb 17, 2024
-
0.8.3
Feb 12, 2024
-
0.8.2
Feb 03, 2024
-
0.8.1
Feb 03, 2024
-
0.8.0
Jan 27, 2024
-
0.7.10
Jan 15, 2024
-
0.7.9
Jan 10, 2024
-
0.7.8
Jan 06, 2024
-
0.7.7
Jan 04, 2024
-
0.7.6
Jan 01, 2024
-
0.7.5
Dec 29, 2023
-
0.7.4
Dec 29, 2023
-
0.7.3
Dec 28, 2023
-
0.7.2
Dec 24, 2023
-
0.7.1
Dec 22, 2023
-
0.7.0
Dec 21, 2023
-
0.6.5
Dec 19, 2023
-
0.6.4
Dec 17, 2023
-
0.6.3
Dec 16, 2023
-
0.6.2
Dec 16, 2023
-
0.6.1
Dec 15, 2023
-
0.6.0
Dec 15, 2023
-
0.5.12
Dec 13, 2023
-
0.5.11
Dec 11, 2023
-
0.5.10
Dec 09, 2023
-
0.5.9
Dec 07, 2023
-
0.5.8
Dec 02, 2023
-
0.5.7
Nov 29, 2023
-
0.5.6
Nov 23, 2023
-
0.5.5
Nov 21, 2023
-
0.5.4
Nov 20, 2023
-
0.5.3
Nov 16, 2023
-
0.5.2
Nov 11, 2023
-
0.5.1
Nov 11, 2023
-
0.5.0
Nov 10, 2023
-
0.4.3
Nov 01, 2023
-
0.4.2
Oct 24, 2023
-
0.4.1
Oct 22, 2023
-
0.4.0
Oct 20, 2023
-
0.3.6
Oct 18, 2023
-
0.3.5
Oct 09, 2023
-
0.3.4
Oct 08, 2023
-
0.3.3
Oct 03, 2023
-
0.3.2
Oct 02, 2023
-
0.3.1
Sep 30, 2023
-
0.3.0
Sep 30, 2023
-
0.2.3
Sep 26, 2023
-
0.2.2
Sep 16, 2023
-
0.2.1
Sep 15, 2023
-
0.1.3
Sep 15, 2023
-
0.1.2
Sep 08, 2023
-
0.1.1
Sep 05, 2023
-
0.1.0
Sep 01, 2023