{"name":"coqPackages.VST","version":"2.10","summary":"Verified Software Toolchain","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6b5019a48f876f3288efc626fa8b70ad0c64eb46"},"attr_path":"coqPackages.VST"},"last_updated":"2022-11-21T15:52:25Z"}}}