Search results

Should the CI test Windows and MacOS?

question

Status: Open.

#3336 In coq/opam;

· JasonGross opened on Feb 6, 2025

coq (rocq-stdlib) is broken on MacOS: find: -fprint: unknown primary or operator

Status: Open.

#3335 In coq/opam;

· JasonGross opened on Feb 6, 2025

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

Status: Open.

#3324 In coq/opam;

· mattam82 opened on Jan 30, 2025

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

Status: Open.

#3321 In coq/opam;

· RalfJung opened on Jan 29, 2025

Race conditions in deployment

Status: Open.

#2971 In coq/opam;

· palmskog opened on Feb 20, 2024

GitHub autogenerated tarballs not considered stable

Status: Open.

#2458 In coq/opam;

· palmskog opened on Jan 30, 2023

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

Status: Open.

#2442 In coq/opam;

· ejgallego opened on Jan 18, 2023

packages with a validate target should have a run-test

Status: Open.

#2155 In coq/opam;

· JasonGross opened on Apr 6, 2022

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

Status: Open.

#1775 In coq/opam;

· Alizter opened on Jul 20, 2021

COQ_USE_DUNE affects the build of coq through opam

Status: Open.

#1736 In coq/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 coq/opam;

· erikmd opened on Dec 7, 2020

math-comp-field-extra

Status: Open.

#1300 In coq/opam;

· CohenCyril opened on Jun 16, 2020