An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
| Version ▼ | Vulnerabilities | Repository | Usages | Date | |
|---|---|---|---|---|---|
0.12.x | 0.12.0 | Central |
0
| Oct 31, 2026 | |
0.11.x | 0.11.0 | Central |
0
| Oct 03, 2026 | |
0.10.x | 0.10.1 | Central |
0
| Sep 25, 2026 | |
| 0.10.0 | Central |
0
| Sep 24, 2026 | ||
0.9.x | 0.9.0 | Central |
0
| Sep 17, 2026 | |
0.8.x | 0.8.0 | Central |
0
| Jul 24, 2026 | |
0.7.x | 0.7.0 | Central |
0
| Jun 18, 2026 | |
0.6.x | 0.6.0 | Central |
0
| Apr 10, 2026 | |
0.5.x | 0.5.5 | Central |
0
| Dec 17, 2025 | |
| 0.5.4 | Central |
0
| Nov 12, 2025 | ||
| 0.5.3 | Central |
0
| Oct 23, 2025 | ||
| 0.5.2 | Central |
0
| Oct 23, 2025 | ||
0.4.x | 0.4.1 | Central |
0
| Jun 18, 2024 | |
0.3.x | 0.3.9 | Central |
0
| May 22, 2024 | |
| 0.3.8 | Central |
0
| May 06, 2024 | ||
| 0.3.6 | Central |
0
| Jun 21, 2023 | ||
| 0.3.5 | Central |
0
| Jun 20, 2023 | ||
| 0.3.4 | Central |
0
| Apr 26, 2023 | ||
| 0.3.3 | Central |
0
| Apr 19, 2023 | ||
| 0.3.2 | Central |
0
| Mar 09, 2023 | ||
| 0.3.1 | Central |
0
| Dec 13, 2022 | ||
| 0.3.0 | Central |
0
| Jun 07, 2022 | ||
0.2.x | 0.2.2 | Central |
0
| Jan 22, 2021 | |
| 0.2.1 | Central |
0
| Jan 14, 2021 | ||
| 0.2.0 | Central |
0
| Jan 14, 2021 | ||
0.1.x | 0.1 | Central |
0
| Jan 05, 2021 | |
| v0.1 | Central |
0
| Jan 12, 2021 |