@link-assistant/hive-mind 0.41.10 → 0.42.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +37 -0
- package/package.json +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -1,10 +1,47 @@
|
|
|
1
1
|
# @link-assistant/hive-mind
|
|
2
2
|
|
|
3
|
+
## 0.42.1
|
|
4
|
+
|
|
5
|
+
### Patch Changes
|
|
6
|
+
|
|
7
|
+
- acd70a9: Add Lean runtime preinstallation support via elan
|
|
8
|
+
|
|
9
|
+
- Install elan (Lean version manager) with stable toolchain in all deployment environments
|
|
10
|
+
- Add Lean/elan to PATH in Dockerfile, .gitpod.Dockerfile, coolify/Dockerfile
|
|
11
|
+
- Add installation verification for elan, lean, and lake commands
|
|
12
|
+
- Add CI checks to verify Lean installation in Docker builds
|
|
13
|
+
|
|
14
|
+
## 0.42.0
|
|
15
|
+
|
|
16
|
+
### Minor Changes
|
|
17
|
+
|
|
18
|
+
- d98d9c9: Add Java (OpenJDK) runtime installation support via SDKMAN in Ubuntu 24 server installation script
|
|
19
|
+
|
|
20
|
+
- Install SDKMAN as Java version manager (following pattern of pyenv for Python, nvm for Node.js)
|
|
21
|
+
- Install Java 21 LTS (Eclipse Temurin distribution) by default with fallback to OpenJDK
|
|
22
|
+
- Add SDKMAN configuration to .bashrc for persistence
|
|
23
|
+
- Add Java and SDKMAN to installation summary output
|
|
24
|
+
- Add zip package to prerequisites (required by SDKMAN)
|
|
25
|
+
|
|
26
|
+
Fixes #737
|
|
27
|
+
|
|
28
|
+
### Patch Changes
|
|
29
|
+
|
|
30
|
+
- d42d221: Add Perl runtime installation support via Perlbrew to Ubuntu 24 server installation script and Docker environment with CI verification
|
|
31
|
+
|
|
3
32
|
## 0.41.10
|
|
4
33
|
|
|
5
34
|
### Patch Changes
|
|
6
35
|
|
|
7
36
|
- f77fdf8: Add Golang runtime installation support to Ubuntu 24 server installation script with proper success verification
|
|
37
|
+
- ca4d83d: Add preinstalled Rocq (formerly Coq) theorem prover runtime support
|
|
38
|
+
|
|
39
|
+
- Install opam (OCaml package manager) as prerequisite
|
|
40
|
+
- Configure Rocq-released repository for package installation
|
|
41
|
+
- Add Rocq prover with fallback to classic Coq package if unavailable
|
|
42
|
+
- Add CI verification checks for Opam and Rocq/Coq installation
|
|
43
|
+
- Include Opam paths in Docker environment variables
|
|
44
|
+
- Support both Rocq and Coq theorem provers across all deployment configurations
|
|
8
45
|
|
|
9
46
|
## 0.41.9
|
|
10
47
|
|