diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-04-27 16:33:57 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-04-27 16:33:57 +0100 |
commit | e2d7bba73f52285475da813433c703d7df7ae44a (patch) | |
tree | 370ace815a967f1847103e4a26f7b94c81dc323d /flake.lock | |
parent | 405e822a4e769969ef01a683d486accee0d71da2 (diff) | |
download | vericert-e2d7bba73f52285475da813433c703d7df7ae44a.tar.gz vericert-e2d7bba73f52285475da813433c703d7df7ae44a.zip |
Update to Coq 8.17 and CompCert 3.12
Diffstat (limited to 'flake.lock')
-rw-r--r-- | flake.lock | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -2,11 +2,11 @@ "nodes": { "nixpkgs": { "locked": { - "lastModified": 1656083042, - "narHash": "sha256-G6m/OAIcmoEWeS+DbU70aNv21QB3kZCtJuUo+33s5VY=", + "lastModified": 1682591986, + "narHash": "sha256-BU5dJ9MmZYsGr1Dnf8p5VV8cSbMKuNiqw4A14/V8pjo=", "owner": "nixos", "repo": "nixpkgs", - "rev": "dc0380bb215ce001fcfccf4609d902115f87ddf9", + "rev": "1c8257a313a5eb4d5f86edc2d325a23ff8085b94", "type": "github" }, "original": { |