Search results

Dont fix vscoq-language-server version

kind: enhancementNew feature or requestNew feature or request

part: installation

Status: Open.

#501 In rocq-prover/platform;

· MSoegtropIMC opened on Nov 5, 2025

Old version of language server

Status: Open.

#495 In rocq-prover/platform;

· DarkWolf646 opened on Oct 1, 2025

coq-stdlib should not be in the Dependency level anymore

Status: Open.

#493 In rocq-prover/platform;

· Zimmi48 opened on Sep 30, 2025

Install instructions do not work, due to missing dune 3.16.1 -- have to use script from main instead

Status: Open.

#489 In rocq-prover/platform;

· edwintorok opened on Sep 11, 2025

Tracker issue for 9.0 package tag creation

kind: upstream trackerIssues to track upstream issues for package failuresIssues to track upstream issues for package failures

Status: Open.

#481 In rocq-prover/platform;

· MSoegtropIMC opened on Aug 28, 2025

[ERROR] Package dune has no version 3.15.3.

Status: Open.

#474 In rocq-prover/platform;

· lengyijun opened on Jun 28, 2025

Remove paramcoq from platform

Status: Open.

#466 In rocq-prover/platform;

· proux01 opened on Feb 25, 2025

Add autosubst-ocaml to the Coq Platform

approval: has maintainer agreement

kind: package inclusion

Status: Open.

#455 In rocq-prover/platform;

· palmskog opened on Jan 2, 2025

Tracker issue for 8.20 package tag creation

kind: upstream trackerIssues to track upstream issues for package failuresIssues to track upstream issues for package failures

Status: Open.

#449 In rocq-prover/platform;

· MSoegtropIMC opened on Dec 3, 2024

MacOS: command file does not find the correct coqc if one is available via opam

platform: macOSSpecific to macOSSpecific to macOS

Status: Open.

#442 In rocq-prover/platform;

· MSoegtropIMC opened on Oct 28, 2024

MacOS: check suitability of XCode

platform: macOSSpecific to macOSSpecific to macOS

Status: Open.

#438 In rocq-prover/platform;

· MSoegtropIMC opened on Oct 15, 2024

install Coq through opam fails on Arch Linux if ocaml-findlib package is installed

Status: Open.

#415 In rocq-prover/platform;

· e00E opened on May 10, 2024