Simple Flake for Coq Environment

flake.nix

{

description = "Attempt to use the flake from the VSCoq repository";

inputs = {
    flake-utils.url = "github:numtide/flake-utils";

    # Should be kept in sync with PIN_COQ in CI workflow
    coq-master = { url = "github:coq/coq/d6dd8a618cbf628a6580c9a42db0cf5f44606bea"; }; 
    coq-master.inputs.nixpkgs.follows = "nixpkgs";

    vscoq-flake.url = "github:coq/vscoq";
};

outputs = { 
    self
  , flake-utils
  , coq-master
  , nixpkgs
  , vscoq-flake 
}:
flake-utils.lib.eachDefaultSystem (system: {
  
  packages = {

  };

  devShells = {
    # a shell containing just hello for now
    default = 
      vscoq-flake.devShells.${system}.default;
  };
    
});
  
}