diff options
author | Son Ho | 2022-11-11 16:08:03 +0100 |
---|---|---|
committer | Son Ho | 2022-11-11 16:08:03 +0100 |
commit | 8e215bb41fdc7b07078b83c6fdd704e681d943cf (patch) | |
tree | c9b72ad14416ac18ac279340c04077fd41c132c0 | |
parent | b6676f6dc3b1471317cce8e04e9cb7203168f75c (diff) |
Update the nix flake
-rw-r--r-- | flake.lock | 6 | ||||
-rw-r--r-- | flake.nix | 2 |
2 files changed, 4 insertions, 4 deletions
@@ -8,11 +8,11 @@ "rust-overlay": "rust-overlay_2" }, "locked": { - "lastModified": 1668176687, - "narHash": "sha256-uPWct73AqMblEUNUAh46WewzQJpIF/SKOfpQ66P3P4E=", + "lastModified": 1668178584, + "narHash": "sha256-FOHzA3y/48Y1luWyOWocRIpLRa7khuS7+h7MtxSm1S4=", "owner": "aeneasverif", "repo": "charon", - "rev": "dcc11c103937e2f36bbab70454ad87e159cd7fa9", + "rev": "8d60acd93a165ff248595cebd0772d7db2e40d71", "type": "github" }, "original": { @@ -50,7 +50,7 @@ filter = path: type: path == toString ./Makefile || pkgs.lib.hasPrefix (toString ./compiler) path - || pkgs.lib.hasPrefix (toString ./fstar) path + || pkgs.lib.hasPrefix (toString ./backends) path || pkgs.lib.hasPrefix (toString ./tests) path; }; buildPhase = '' |