Skip to content

Adapt to https://github.com/coq/coq/pull/19530#15

Open
proux01 wants to merge 1 commit into
DeepSpec:masterfrom
proux01:stdlib_repo
Open

Adapt to https://github.com/coq/coq/pull/19530#15
proux01 wants to merge 1 commit into
DeepSpec:masterfrom
proux01:stdlib_repo

Adapt to https://github.com/coq/coq/pull/19530

d2d4b51
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs