{"name":"coqPackages.VST","version":"2.11.1","summary":"Verified Software Toolchain","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11"},"attr_path":"coqPackages.VST"},"last_updated":"2023-02-24T09:01:09Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11"},"attr_path":"coqPackages.VST"},"last_updated":"2023-02-24T09:01:09Z"}}}