Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/orders/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 11 kB image not shown  

Quelle  nixpkgs.nix   Sprache: unbekannt

 
import (fetchTarball {
  url = "https://github.com/NixOS/nixpkgs/archive/1c0bec249943cd3e03f876554b8af7d1e32a09e1.tar.gz";
  sha256 = "06wpxiykzrwqsham8v8kzd79nyh0qb707r0svycz32w8j0x6b1mq";
})

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]