@link-assistant/hive-mind 0.41.9 → 0.42.0
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 +28 -0
- package/package.json +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -1,5 +1,33 @@
|
|
|
1
1
|
# @link-assistant/hive-mind
|
|
2
2
|
|
|
3
|
+
## 0.42.0
|
|
4
|
+
|
|
5
|
+
### Minor Changes
|
|
6
|
+
|
|
7
|
+
- d98d9c9: Add Java (OpenJDK) runtime installation support via SDKMAN in Ubuntu 24 server installation script
|
|
8
|
+
|
|
9
|
+
- Install SDKMAN as Java version manager (following pattern of pyenv for Python, nvm for Node.js)
|
|
10
|
+
- Install Java 21 LTS (Eclipse Temurin distribution) by default with fallback to OpenJDK
|
|
11
|
+
- Add SDKMAN configuration to .bashrc for persistence
|
|
12
|
+
- Add Java and SDKMAN to installation summary output
|
|
13
|
+
- Add zip package to prerequisites (required by SDKMAN)
|
|
14
|
+
|
|
15
|
+
Fixes #737
|
|
16
|
+
|
|
17
|
+
## 0.41.10
|
|
18
|
+
|
|
19
|
+
### Patch Changes
|
|
20
|
+
|
|
21
|
+
- f77fdf8: Add Golang runtime installation support to Ubuntu 24 server installation script with proper success verification
|
|
22
|
+
- ca4d83d: Add preinstalled Rocq (formerly Coq) theorem prover runtime support
|
|
23
|
+
|
|
24
|
+
- Install opam (OCaml package manager) as prerequisite
|
|
25
|
+
- Configure Rocq-released repository for package installation
|
|
26
|
+
- Add Rocq prover with fallback to classic Coq package if unavailable
|
|
27
|
+
- Add CI verification checks for Opam and Rocq/Coq installation
|
|
28
|
+
- Include Opam paths in Docker environment variables
|
|
29
|
+
- Support both Rocq and Coq theorem provers across all deployment configurations
|
|
30
|
+
|
|
3
31
|
## 0.41.9
|
|
4
32
|
|
|
5
33
|
### Patch Changes
|