Code

Use rocq makefile for stdlib.dev#3332

Code

Merged

proux01 merged 1 commit intocoq:mastercoq/opam:masterfrom SkySkimmer:stdlib-makefileSkySkimmer/opam-coq-archive:stdlib-makefileCopy head branch name to clipboardFeb 5, 2025

+8-12

Commits

Commits on Feb 5, 2025

• Use rocq makefile for stdlib.dev

  Show description for e36a4ac
  SkySkimmer

  committed
  e36a4ac

  Copy full SHA for e36a4ac