Search results

Installing coq.9.0.dev opam package fails

Status: Open.

#3418 In rocq-prover/opam;

· RalfJung opened on May 2, 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

rocq 9.0+rc1 pulls in rocq-stdlib "dev" version

Status: Open.

#3321 In rocq-prover/opam;

· RalfJung opened on Jan 29, 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

core-dev packages 8.10 and older don't have right dependencies

Status: Open.

#1775 In rocq-prover/opam;

· Alizter opened on Jul 20, 2021

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

math-comp-field-extra

Status: Open.

#1300 In rocq-prover/opam;

· CohenCyril opened on Jun 16, 2020