Code

Fix nix2#539

Code

Merged

gares merged 7 commits intomasterLPCIC/coq-elpi:masterfrom fix-nix2LPCIC/coq-elpi:fix-nix2Copy head branch name to clipboardNov 9, 2023

+1,444-4

Commits

Commits on Oct 13, 2023

• ci: re-enable nix

  gares

  committed
  dd08393

• update toolbox

  CohenCyril

  committed
  6d792e9

• regen action

  CohenCyril

  committed
  c06b270

Commits on Oct 16, 2023

• Update coq-nix-toolbox.nix

  gares

  authored
  539cb4f

• Create overlay MC-classical

  gares

  authored
  b164a15

• Update .nix/config.nix

  gares

  authored
  b5a6c60

Commits on Nov 9, 2023

• fix nix

  gares

  committed
  8ba8ac9