Search results

[question] New depopt in Coq 8.19.2 and later: memprof-limits

questionFurther information is requestedFurther information is requested

Status: Open.

#78 In rocq-community/docker-coq;

· ejgallego opened on Feb 7, 2025

Task: archive the 8.4, 8.5, 8.6 images after some proper announcement

Status: Open.

#77 In rocq-community/docker-coq;

· erikmd opened on Feb 5, 2025

Image for Coq 8.5 (but not 8.4 nor 8.6) seems to have a broken python setup

bugSomething isn't workingSomething isn't working

Status: Open.

#59 In rocq-community/docker-coq;

· JasonGross opened on Oct 23, 2023

Multi-arch images

Status: Open.

#54 In rocq-community/docker-coq;

· Blaisorblade opened on Feb 10, 2023

How to track tag change?

questionFurther information is requestedFurther information is requested

Status: Open.

#51 In rocq-community/docker-coq;

· liyishuai opened on Jul 1, 2022

dev versions of old versions of Coq

enhancementNew feature or requestNew feature or request

Status: Open.

#49 In rocq-community/docker-coq;

· JasonGross opened on Jun 23, 2022

Feature wish: coq/platform image

Status: Open.

#35 In rocq-community/docker-coq;

· brandenburg opened on Sep 29, 2021