All issues

Search results

Add a reverse dependencies CI

Status: Open.

#3602 In rocq-prover/opam;

· chandradeepdey opened on Jan 2, 2026

Wrong URL

Status: Open.

#3586 In rocq-prover/opam;

· affeldt-aist opened on Nov 20, 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

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

packages with a validate target should have a run-test

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 opam-build:4.07.1:coq-native (and opam-build-no-timeout:4.07.1:coq-native?)

Status: Open.

#1498 In rocq-prover/opam;

· erikmd opened on Dec 7, 2020

math-comp-field-extra

Status: Open.

#1300 In rocq-prover/opam;

· CohenCyril opened on Jun 16, 2020

Disappearing sources of packages when Inria gforge is shut down end 2020

Status: Open.

#1298 In rocq-prover/opam;

· palmskog opened on Jun 14, 2020