diff options
author | Nadrieril | 2024-04-11 11:00:35 +0200 |
---|---|---|
committer | Nadrieril | 2024-04-11 11:00:35 +0200 |
commit | 2f43c95253de73fce3207a7e6895f257b857f566 (patch) | |
tree | 722d3fad1c0cef926e40df16bd8645ce3b4abd20 /flake.nix | |
parent | c63284e3f9d7723b24f2d226355747e91ebb06aa (diff) |
Use charon main
Diffstat (limited to 'flake.nix')
-rw-r--r-- | flake.nix | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ inputs = { # Remark: when adding inputs here, don't forget to also add them in the list # of outputs below! - charon.url = "github:aeneasverif/charon/generic-copy"; + charon.url = "github:aeneasverif/charon"; flake-utils.follows = "charon/flake-utils"; nixpkgs.follows = "charon/nixpkgs"; hacl-nix.url = "github:hacl-star/hacl-nix"; |