Code

Add Nix flakes-based build scripts#1097

Code

Open

spacefrogg wants to merge 1 commit intoMetaCoq:mainMetaCoq/metacoq:mainfrom spacefrogg:nix-flakespacefrogg/metacoq:nix-flakeCopy head branch name to clipboard

+298

Commits

Commits on Sep 25, 2024

• Add Nix flakes-based build scripts

  

  Michael Raitza

  committed
  ebea1a4

  Copy full SHA for ebea1a4