{"name":"coqPackages.VST","version":"2.14","summary":"Verified Software Toolchain","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"45508c1098a3fb7140ae3d86414cee8f5ee7511c"},"attr_path":"coqPackages.VST"},"last_updated":"2024-09-03T04:23:05Z","outputs":[{"name":"out","path":"/nix/store/55qnhyvwck3ncvg4sigpb1ni3d7jvl48-coq8.19-VST-2.14","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"45508c1098a3fb7140ae3d86414cee8f5ee7511c"},"attr_path":"coqPackages.VST"},"last_updated":"2024-09-03T04:23:05Z","outputs":[{"name":"out","path":"/nix/store/krp6ixar76h6z6202ys32nmkzsax4g8d-coq8.19-VST-2.14","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"45508c1098a3fb7140ae3d86414cee8f5ee7511c"},"attr_path":"coqPackages.VST"},"last_updated":"2024-09-03T04:23:05Z","outputs":[{"name":"out","path":"/nix/store/xn0vxi32z2jz7mqvs5nw1hahmqzjv94h-coq8.19-VST-2.14","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"45508c1098a3fb7140ae3d86414cee8f5ee7511c"},"attr_path":"coqPackages.VST"},"last_updated":"2024-09-03T04:23:05Z","outputs":[{"name":"out","path":"/nix/store/n5rhzv0km0rqzgdjmxhk6l1lz96fqdrq-coq8.19-VST-2.14","default":true}]}}}