Code

Nix rev ci#3

Code

Closed

4ever2 wants to merge 7 commits intocoq-8.194ever2/metacoq:coq-8.19from nix-rev-ci4ever2/metacoq:nix-rev-ciCopy head branch name to clipboard

+407-80

Commits

Commits on Oct 11, 2024

• Update coq-nix-toolbox

  4ever2

  committed
  c9a2f21

• Update package definitions

  4ever2

  committed
  12e8d0a

Commits on Oct 13, 2024

• Update bundles

  4ever2

  committed
  365e10f

• Fix missing MetaCoq sub-modules

  4ever2

  committed
  aae6684

• Set up reverse dependencies

  4ever2

  committed
  02cc21a

Commits on Oct 15, 2024

• Update Nix toolbox

  4ever2

  committed
  3797d2c

• Add RustExtraction rev dep

  4ever2

  committed
  4db48d7