|
{
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.4 Sekunden
(vorverarbeitet)
]
|
