Commit 35b0393

authored

Merge pull request #539 from LPCIC/fix-nix2

Fix nix2

2 parents c97df3f + 8ba8ac9 commit 35b0393Copy full SHA for 35b0393

4 files changed

+1444

-4

lines changed

.github/workflows
- nix-action-coq-8.18.yml
.nix
- coq-overlays/mathcomp-classical
  - default.nix
- config.nix
- coq-nix-toolbox.nix

4 files changed

+1444

-4

lines changed

Comments

(0)