diff options
author | Guillaume Boisseau | 2024-06-05 09:52:44 +0200 |
---|---|---|
committer | GitHub | 2024-06-05 09:52:44 +0200 |
commit | c708fc2556806abc95cd2ca173a94a5fb49d034d (patch) | |
tree | 7890e9455f983bcd8cb2c16554f5882daac5d510 /flake.lock | |
parent | 5b7fc57cdc6bc5cff8373e6aa8df383278c9cf63 (diff) | |
parent | 8a1adfb37d2cf295d8caed1dfdd4f7475bb19283 (diff) |
Merge pull request #231 from Nadrieril/bump-hax
Diffstat (limited to '')
-rw-r--r-- | flake.lock | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -9,11 +9,11 @@ "rust-overlay": "rust-overlay" }, "locked": { - "lastModified": 1717506811, - "narHash": "sha256-QYPXD3+INGmfY9VA+X7ruRAeiU/siJYSHYAwXUOUNGM=", + "lastModified": 1717573223, + "narHash": "sha256-56arhtgTmdFFLV/BnO3GQC0FEiWdEmzM4CakeSulT+k=", "owner": "aeneasverif", "repo": "charon", - "rev": "438acf2ad2c6f7e03a16f8b1dc1bc3df96e72ae8", + "rev": "3f3c013cbe726c2f3ae83e8a589eca47bce21a01", "type": "github" }, "original": { |