Issues

• Specify that Intel Macs require installing from source

  rocq-prover/platform#537 · Filter by author mehrshad-kh opened on Sep 16, 2026
  1

• documentation of install buildtools for Fedora

  rocq-prover/platform#536 · Filter by author Emilius12 opened on Sep 14, 2026
  1

• Documentation of Install Prerequisites for rocqide in Linux (Mint)

  rocq-prover/platform#520 · Filter by author jamesodonnell8762 opened on Apr 22, 2026
  1

• revdeps broken in windows installer

  rocq-prover/platform#513 · Filter by author gares opened on Feb 26, 2026
  2

  

• Add rocq-lean-import to the platform

  rocq-prover/platform#504 · Filter by author JasonGross opened on Nov 21, 2025
  2

• Windows: Question about how to set user-contrib lib for coqlib

  rocq-prover/platform#503 · Filter by author tzw3 opened on Nov 21, 2025

• Dont fix vscoq-language-server version

  kind: enhancementpart: installation
  rocq-prover/platform#501 · Filter by author MSoegtropIMC opened on Nov 5, 2025
  

• Old version of language server

  rocq-prover/platform#495 · Filter by author DarkWolf646 opened on Oct 1, 2025
  1

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

  rocq-prover/platform#489 · Filter by author edwintorok opened on Sep 11, 2025
  1

• [ERROR] Package dune has no version 3.15.3.

  rocq-prover/platform#474 · Filter by author lengyijun opened on Jun 28, 2025
  25

• Remove paramcoq from platform

  rocq-prover/platform#466 · Filter by author proux01 opened on Feb 25, 2025

• Add autosubst-ocaml to the Coq Platform

  approval: has maintainer agreementkind: package inclusion
  rocq-prover/platform#455 · Filter by author palmskog opened on Jan 2, 2025
  2

• Tracker issue for 8.20 package tag creation

  kind: upstream tracker
  rocq-prover/platform#449 · Filter by author MSoegtropIMC opened on Dec 3, 2024
  

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

  platform: macOS
  rocq-prover/platform#442 · Filter by author MSoegtropIMC opened on Oct 28, 2024
  

• MacOS: check suitability of XCode

  platform: macOS
  rocq-prover/platform#438 · Filter by author MSoegtropIMC opened on Oct 15, 2024

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

  rocq-prover/platform#415 · Filter by author e00E opened on May 10, 2024
  4

• Add a check if any COQxxx environment variables are set

  rocq-prover/platform#414 · Filter by author MSoegtropIMC opened on May 10, 2024

• Unable to run Coq-Platform after following instructions for disk image installation on MacBook Air M1 16GB Sonoma 14.4.1

  needs: retest
  rocq-prover/platform#413 · Filter by author ghost opened on May 6, 2024 · 2024.01-Coq8.19
  19

  

• Missing Windows 32bit binaries in 2023.11.0 release

  part: documentation
  rocq-prover/platform#401 · Filter by author tech189 opened on Feb 28, 2024 · 2024.01-Coq8.19
  3

• CI: auto cancel workflow runs on new push to PR branch

  kind: enhancementpart: ci and testing
  rocq-prover/platform#394 · Filter by author MSoegtropIMC opened on Jan 16, 2024

• Coq Platform & OCaml 5

  rocq-prover/platform#393 · Filter by author Blaisorblade opened on Jan 7, 2024
  1

• Add the libraries for undecidability and first-order logic to the Platform

  approval: has maintainer agreementkind: package inclusion
  rocq-prover/platform#386 · Filter by author palmskog opened on Nov 2, 2023
  4

• Add coinduction to the Coq Platform

  kind: package inclusion
  rocq-prover/platform#380 · Filter by author palmskog opened on Oct 20, 2023

• Add coq-tools / coq-bug-minimizer to the platform?

  approval: has maintainer agreementkind: package inclusion
  rocq-prover/platform#378 · Filter by author JasonGross opened on Oct 19, 2023
  2

• Scripts: opam update is done to late - it must be done before switch creation

  kind: bugpart: installation
  rocq-prover/platform#374 · Filter by author MSoegtropIMC opened on Oct 13, 2023