Update default.nix

This commit is contained in:
Patrick 2022-08-22 08:44:31 +08:00 committed by GitHub
parent aabe589f53
commit 93e7b6b273
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,4 +1,4 @@
{ rev ? "c542baa0c894796c92a8173dead027f3b952c22e"
{ rev ? "272fad732d39b24c4549c475176e0d8cbc8c897a"
, pkgs ?
if ((rev == "") || (rev == "default") || (rev == "local"))
then import <nixpkgs> {}