Code

Update flake.nix#1029

Code

Merged

rtetley merged 2 commits intomaincoq/vscoq:mainfrom fix-flake-coq-mastercoq/vscoq:fix-flake-coq-masterCopy head branch name to clipboardFeb 12, 2025

+49-46

Commits

Commits on Feb 10, 2025

• Update flake.nix

  gares

  authored
  8dba43a

  Copy full SHA for 8dba43a

Commits on Feb 12, 2025

• fix: nixpkgs commit url

  rtetley

  committed
  1d940f0

  Copy full SHA for 1d940f0