testing native config

Signed-off-by: Ali Caglayan <[email protected]>

Author: Alizter

.nix/fallback-config.nix

@@ -24,6 +24,7 @@ with (import (import ./nixpkgs.nix) {}).lib;
     })) // {
     master = {
       coqPackages.coq.override.version = "master";
+      coqPackages.coq.override.native = true;
       coqPackages.heq.job = false;
     };
   };

.nix/nixpkgs.nix

@@ -1,4 +1,4 @@
 fetchTarball {
-    url = https://github.com/NixOS/nixpkgs/archive/0dffd5039b951bb03537c9a66f980c74f50ac38b.tar.gz;
-    sha256 = "19hdbn80grs65rdq1aalakrkr9pagvpnsidz501iimm15g241kb5";
-  }
+         url = https://github.com/Alizter/nixpkgs/archive/cd3760cf6407da87399da98e276d635b56e247e4.tar.gz;
+         sha256 = "099k5f3iw9krhxp1x3iwg3milm5hslpz8psx8rawpkxqxsi5ril5";
+       }