{"name":"coqPackages.VST","version":"2.16","summary":"Verified Software Toolchain","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"coqPackages.VST"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/arpr1b8zpxldyby6aawi1d54a0jza8mz-coq9.1-VST-2.16","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"coqPackages.VST"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/id9qws1nkf3292p4hmayk43xmlvb812j-coq9.1-VST-2.16","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"coqPackages.VST"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/n6gbdv27giki3fqbdcswhqm7w6276bbh-coq9.1-VST-2.16","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"coqPackages.VST"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/k8cczr2y7i3kldk47waw75nspfzybpmh-coq9.1-VST-2.16","default":true}]}}}