Search results

Wrong URL

Status: Open.

#3586 In rocq-prover/opam;

· affeldt-aist opened on Nov 20, 2025

coq-paco for rocq 9.1

Status: Open.

#3580 In rocq-prover/opam;

· andrew-appel opened on Nov 17, 2025

Version constraints on rocq-hierarchy-builder.1.9.1 are incorrect for Coq 8.19

Status: Open.

#3561 In rocq-prover/opam;

· JasonGross opened on Nov 3, 2025

Version constraints on coq-mathcomp-algebra-tactics.1.2.4 are incorrect for Coq 8.20.0

Status: Open.

#3560 In rocq-prover/opam;

· JasonGross opened on Nov 3, 2025

Should the CI test Windows and MacOS?

question

Status: Open.

#3336 In rocq-prover/opam;

· JasonGross opened on Feb 6, 2025

Clarify and check the dependency policy for packages depending on new Rocq packages

Status: Open.

#3324 In rocq-prover/opam;

· mattam82 opened on Jan 30, 2025

Race conditions in deployment

Status: Open.

#2971 In rocq-prover/opam;

· palmskog opened on Feb 20, 2024

GitHub autogenerated tarballs not considered stable

Status: Open.

#2458 In rocq-prover/opam;

· palmskog opened on Jan 30, 2023

[RFC] Repository layout for dev packages is problematic, turn <code>opam-coq-archive</code> into a single OPAM repository

Status: Open.

#2442 In rocq-prover/opam;

· ejgallego opened on Jan 18, 2023

packages with a validate target should have a <code>run-test</code>

Status: Open.

#2155 In rocq-prover/opam;

· JasonGross opened on Apr 6, 2022

COQ_USE_DUNE affects the build of coq through opam

Status: Open.

#1736 In rocq-prover/opam;

· ana-borges opened on Jun 9, 2021

Add a CI job <code>opam-build:4.07.1:coq-native</code> (and <code>opam-build-no-timeout:4.07.1:coq-native</code>?)

Status: Open.

#1498 In rocq-prover/opam;

· erikmd opened on Dec 7, 2020