All available versions of fixpoint
-
0.15.2
Sep 27, 2025
-
0.15.1
Sep 14, 2025
-
0.15.0
Sep 10, 2025
-
0.14.9
Sep 07, 2025
-
0.14.8
Sep 06, 2025
-
0.14.7
Sep 05, 2025
-
0.14.6
Sep 03, 2025
-
0.14.5
Sep 02, 2025
-
0.14.4
Aug 31, 2025
-
0.14.3
Aug 28, 2025
-
0.14.2
Aug 27, 2025
-
0.14.1
Aug 25, 2025
-
0.13.5
Aug 20, 2025
-
0.13.4
Aug 20, 2025
-
0.13.2
Aug 19, 2025
-
0.13.1
Aug 19, 2025
-
0.12.9
Aug 18, 2025
-
0.12.8
Aug 05, 2025
-
0.12.7
Aug 01, 2025
-
0.12.6
Jul 27, 2025
-
0.12.5
Jul 20, 2025
-
0.12.4
Jul 18, 2025
-
0.12.2
Jul 03, 2025
-
0.12.1
Jul 03, 2025
-
0.11.8
Jun 27, 2025
-
0.11.7
Jun 25, 2025
-
0.11.6
Jun 20, 2025
-
0.11.5
Jun 01, 2025
-
0.11.4
Apr 11, 2025
-
0.11.3
Apr 08, 2025
-
0.11.2
Mar 20, 2025
-
0.11.1
Mar 11, 2025
-
0.10.7
Feb 21, 2025
-
0.10.6
Feb 13, 2025
-
0.10.5
Feb 04, 2025
-
0.10.4
Jan 26, 2025
-
0.10.3
Jan 02, 2025
-
0.10.2
Dec 16, 2024
-
0.10.1
Nov 30, 2024
-
0.9.12
Nov 29, 2024
-
0.9.11
Nov 28, 2024
-
0.9.10
Nov 27, 2024
-
0.9.9
Nov 24, 2024
-
0.9.8
Nov 21, 2024
-
0.9.7
Nov 21, 2024
-
0.9.6
Nov 19, 2024
-
0.9.5
Nov 14, 2024
-
0.9.4
Nov 05, 2024
-
0.9.3
Nov 04, 2024
-
0.9.2
Nov 04, 2024
-
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