2 packages from rocq-prover/vsrocq at 2.3.2

[vscoqbot]

This pull-request concerns:

• vscoq-language-server.2.3.2: Compatibility meta package for the VsRocq language server after the Rocq renaming
• vsrocq-language-server.2.3.2: VSRocq language server

---

• Homepage: https://github.com/rocq-prover/vsrocq
• Source repo: git+https://github.com/rocq-prover/vsrocq
• Bug tracker: https://github.com/rocq-prover/vsrocq/issues

---

🐫 Pull-request generated by opam-publish v2.5.0

[gares]

Ci failures seem unrelated

[jmid]

Hm. I can easily imagine a new version conflicting with older ones, necessitating the conflicts entry.
In the current setup however
vscoq-language-server.2.3.2/opam has
depends: [ "vsrocq-language-server" {= version} ]
yet that dependency is simultaneously conflicting IIUC.

I believe this is why all vscoq-language-server.2.3.2 installations on the CI are failing with
(failed: [SKIP] Package not available).

We should probably refine the constraints, but you folks know the conflicts better than us...

[jmid]

Would you consider adding x-maintenance-intent entries for these packages?
https://github.com/ocaml/opam-repository/blob/master/governance/policies/archiving.md

[gares]

Suggested change

	available: arch != "arm32" & arch != "x86_32"
	available: arch != "arm32" & arch != "x86_32"
	x-maintenance-intent: ["(latest)"]

[gares]

Suggested change

	available: arch != "arm32" & arch != "x86_32"
	available: arch != "arm32" & arch != "x86_32"
	x-maintenance-intent: ["(latest)"]

[gares]

I merged this upstream: https://github.com/rocq-prover/vsrocq/pull/1166/files
but I don't have the bot credentials at hand, please apply the fixes in comments.