aboutsummaryrefslogtreecommitdiffstats
path: root/flake.nix
blob: e9c35a44565e65bcbba69950c5ff12ff289485cb (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
{
  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixos-24.05";
    flake-utils.url = "github:numtide/flake-utils";
  };

  outputs = { self, nixpkgs, flake-utils, ... }:
    flake-utils.lib.eachDefaultSystem (system:
      let
        pkgs = import nixpkgs { inherit system; };
      in
      {
        devShells.default = with pkgs; mkShell {
          buildInputs = [
            coqPackages.coqide
            coqPackages.stdpp
            coq
          ];
        };

        formatter = pkgs.nixpkgs-fmt;
      });
}