products
/
sources
/
formale sprachen
/
Coq
/
dev
/
ci
/
nix
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: bignums.nix Sprache: Unknown
Spracherkennung für: .nix vermutete Sprache: C {C[31] Abap[247] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
{ ocamlPackages }:
{
buildInputs = [ ocamlPackages.ocaml ];
}
[ Dauer der Verarbeitung: 0.41 Sekunden
]