Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Roqc/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 339 B image not shown  

Quelle  flake.nix   Sprache: unbekannt

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