{"name":"coqPackages.VST","summary":"Verified Software Toolchain","description":"","homepage_url":"https://vst.cs.princeton.edu/","license":"","attribute_paths":["coqPackages.VST"],"releases":[{"version":"2.17","last_updated":"2026-10-05T09:07:57Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.VST","commit_hash":"aa48d347080940b8a2b8d2f48228674e280a3514","date":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/mfyy3sr1p50a4rff6x7jfs5yqzs2hnyp-coq9.1-VST-2.17","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.VST","commit_hash":"aa48d347080940b8a2b8d2f48228674e280a3514","date":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/x6g7kjrdigan391ahh17brkps7rr8kvh-coq9.1-VST-2.17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.VST","commit_hash":"aa48d347080940b8a2b8d2f48228674e280a3514","date":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/szlwwmr0gv0sb2wyaq9wmn5lxksiv9kz-coq9.1-VST-2.17","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.16","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.VST","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/arpr1b8zpxldyby6aawi1d54a0jza8mz-coq9.1-VST-2.16","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.VST","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/id9qws1nkf3292p4hmayk43xmlvb812j-coq9.1-VST-2.16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.VST","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/n6gbdv27giki3fqbdcswhqm7w6276bbh-coq9.1-VST-2.16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.VST","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/k8cczr2y7i3kldk47waw75nspfzybpmh-coq9.1-VST-2.16","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.15","last_updated":"2025-03-13T11:38:39Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.VST","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/zgg7pla4w6sw8rbi83q8yfdgx4llpywz-coq8.20-VST-2.15","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.VST","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/y798jq0mjcrnr477s8jbyjykig02c1wy-coq8.20-VST-2.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.VST","commit_hash":"573c650e8a14b2faa0041645ab18aed7e60f0c9a","date":"2025-03-13T11:38:39Z","outputs":[{"name":"out","path":"/nix/store/zlwrizyk70slzkrc9h3qpbn4i4bvm7qy-coq8.20-VST-2.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.VST","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/vqhn4q2bcy6fyc6ydpz4ax976b3prpmw-coq8.20-VST-2.15","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.14","last_updated":"2024-09-03T04:23:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.VST","commit_hash":"45508c1098a3fb7140ae3d86414cee8f5ee7511c","date":"2024-09-03T04:23:05Z","outputs":[{"name":"out","path":"/nix/store/55qnhyvwck3ncvg4sigpb1ni3d7jvl48-coq8.19-VST-2.14","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.VST","commit_hash":"45508c1098a3fb7140ae3d86414cee8f5ee7511c","date":"2024-09-03T04:23:05Z","outputs":[{"name":"out","path":"/nix/store/krp6ixar76h6z6202ys32nmkzsax4g8d-coq8.19-VST-2.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.VST","commit_hash":"45508c1098a3fb7140ae3d86414cee8f5ee7511c","date":"2024-09-03T04:23:05Z","outputs":[{"name":"out","path":"/nix/store/xn0vxi32z2jz7mqvs5nw1hahmqzjv94h-coq8.19-VST-2.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.VST","commit_hash":"45508c1098a3fb7140ae3d86414cee8f5ee7511c","date":"2024-09-03T04:23:05Z","outputs":[{"name":"out","path":"/nix/store/n5rhzv0km0rqzgdjmxhk6l1lz96fqdrq-coq8.19-VST-2.14","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.11.1","last_updated":"2023-02-24T09:01:09Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.VST","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.VST","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.10","last_updated":"2022-11-21T15:52:25Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.VST","commit_hash":"6b5019a48f876f3288efc626fa8b70ad0c64eb46","date":"2022-11-21T15:52:25Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.9","last_updated":"2022-06-20T04:45:15Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.VST","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.VST","commit_hash":"72bbea9db7d727ed044e60b5f5febc60a3c5c955","date":"2022-06-20T04:45:15Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.8","last_updated":"2022-02-15T04:21:50Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.VST","commit_hash":"3a641defd170a4ef25ce8c7c64cb13f91f867fca","date":"2022-02-15T04:21:50Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.VST","commit_hash":"3a641defd170a4ef25ce8c7c64cb13f91f867fca","date":"2022-02-15T04:21:50Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.7.1","last_updated":"2021-06-15T07:46:17Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.VST","commit_hash":"4b7c8d538e1aed2bc30b6e7eb1cbd96063ad4132","date":"2021-06-15T07:46:17Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.VST","commit_hash":"4b7c8d538e1aed2bc30b6e7eb1cbd96063ad4132","date":"2021-06-15T07:46:17Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6","last_updated":"2021-05-09T22:33:18Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.VST","commit_hash":"719ac402b1c13bb14cc496812c67fd7f65c7bf68","date":"2021-05-09T22:33:18Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}