Spracherkennung für: .nix vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
{
inputs.flake-utils.url = "github:numtide/flake-utils";
outputs = { self, nixpkgs, flake-utils }:
flake-utils.lib.eachDefaultSystem (system:
{
packages =
with import nixpkgs { inherit system; };
coq.override { version = ./.; };
defaultPackage = self.packages.${system};
}
);
}
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-06-06]
