{"name":"vimPlugins.coq-thirdparty","summary":"","description":"","homepage_url":"https://github.com/ms-jpq/coq.thirdparty/","license":"","attribute_paths":["vimPlugins.coq-thirdparty"],"releases":[{"version":"2025-10-29","last_updated":"2025-11-23T21:50:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/ypxvxd5y8vxvrsysq7gjxqyg0gwhfj3k-vimplugin-coq.thirdparty-2025-10-29","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/81xbm3ihndci6ak8mgzr4q79lq1c15l7-vimplugin-coq.thirdparty-2025-10-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/bayfav7hnvj8v96rsfw42i9crvmwbang-vimplugin-coq.thirdparty-2025-10-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/w3pxj13hp1y6ihabjlwyfsy60dibs82y-vimplugin-coq.thirdparty-2025-10-29","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2025-01-18","last_updated":"2025-10-22T20:59:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/swx6ybdvmw2cx2f78aa83z04jhy7k14v-vimplugin-coq.thirdparty-2025-01-18","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/wjhzfsk4ql2cavsgf5pgihwwd5s8gm8s-vimplugin-coq.thirdparty-2025-01-18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/lxsaxh2zryjzr0cck3lbsjjgrphmcw3g-vimplugin-coq.thirdparty-2025-01-18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/74inw2pww20s3s2lrdrii0lqs52zbwqc-vimplugin-coq.thirdparty-2025-01-18","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024-12-01","last_updated":"2025-01-19T08:16:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/7xpnaavbac1vqh1gsa26r7wwrwsh70n7-vimplugin-coq.thirdparty-2024-12-01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/b9lf0nryakc7jzyx52f4vnz5f809nkhv-vimplugin-coq.thirdparty-2024-12-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/cri1bpk1sq7waasy0k14ldgdb3qskdca-vimplugin-coq.thirdparty-2024-12-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/8xyfr1q0nfjxs8dalshpg7azxwi9jfgf-vimplugin-coq.thirdparty-2024-12-01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024-11-20","last_updated":"2024-12-03T12:40:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/dvhikhs355i5wpnx04wa136yjmnpqrhn-vimplugin-coq.thirdparty-2024-11-20","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/zz7j0463wjkw1v0zhlg85nh9apw7g23r-vimplugin-coq.thirdparty-2024-11-20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/2vnm7cadqp4lp4xvcgqnyp0srf2m4mxj-vimplugin-coq.thirdparty-2024-11-20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/jzfsdmjb9akp20qcrhkd55v3v6dml1pr-vimplugin-coq.thirdparty-2024-11-20","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024-08-26","last_updated":"2024-11-16T04:25:12Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"34a626458d686f1b58139620a8b2793e9e123bba","date":"2024-11-16T04:25:12Z","outputs":[{"name":"out","path":"/nix/store/cfs5f7qiv276bdxw32vab32zkkinp2b7-vimplugin-coq.thirdparty-2024-08-26","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"34a626458d686f1b58139620a8b2793e9e123bba","date":"2024-11-16T04:25:12Z","outputs":[{"name":"out","path":"/nix/store/ir7xqszqsmvg0kg5298krnnsbfyxh2fx-vimplugin-coq.thirdparty-2024-08-26","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"34a626458d686f1b58139620a8b2793e9e123bba","date":"2024-11-16T04:25:12Z","outputs":[{"name":"out","path":"/nix/store/ia3ypg4v5j4v0clx9xddc2gz374qbihl-vimplugin-coq.thirdparty-2024-08-26","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"34a626458d686f1b58139620a8b2793e9e123bba","date":"2024-11-16T04:25:12Z","outputs":[{"name":"out","path":"/nix/store/rwv7rhlkwrm119ws36di9bjyi1mvigdy-vimplugin-coq.thirdparty-2024-08-26","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024-07-25","last_updated":"2024-09-10T15:01:03Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/9b6d7grbrinvdsaifb3j9q924kr9gdl1-vimplugin-coq.thirdparty-2024-07-25","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/slzx4prhxvdclp7967xl4721x6n4hk1z-vimplugin-coq.thirdparty-2024-07-25","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/6hkqi9kbikh8lmpjz1i7fvkk9qal67bl-vimplugin-coq.thirdparty-2024-07-25","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/m9i9935kan15idy8w00gaa0jqli8svdy-vimplugin-coq.thirdparty-2024-07-25","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024-04-18","last_updated":"2024-07-25T18:56:32Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"2122a9b35b35719ad9a395fe783eabb092df01b1","date":"2024-07-25T18:56:32Z","outputs":[{"name":"out","path":"/nix/store/0a7xr8dcwrisk88z0ghsw91jfbwd6458-vimplugin-coq.thirdparty-2024-04-18","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"2122a9b35b35719ad9a395fe783eabb092df01b1","date":"2024-07-25T18:56:32Z","outputs":[{"name":"out","path":"/nix/store/6d0a91v9wj639nb5ialvyvb2ggxrkvkh-vimplugin-coq.thirdparty-2024-04-18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"2122a9b35b35719ad9a395fe783eabb092df01b1","date":"2024-07-25T18:56:32Z","outputs":[{"name":"out","path":"/nix/store/625kxsvq6dzdkdaaixy2zbzxl1362cqn-vimplugin-coq.thirdparty-2024-04-18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"2122a9b35b35719ad9a395fe783eabb092df01b1","date":"2024-07-25T18:56:32Z","outputs":[{"name":"out","path":"/nix/store/hmmsa6b5pzshcv9bg6pvm33by0413vhw-vimplugin-coq.thirdparty-2024-04-18","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024-02-03","last_updated":"2024-04-19T21:36:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"92d295f588631b0db2da509f381b4fb1e74173c5","date":"2024-04-19T21:36:04Z","outputs":[{"name":"out","path":"/nix/store/xyxa3jcj36sa9z9dxipm7f3hwlqg2xpx-vimplugin-coq.thirdparty-2024-02-03","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"92d295f588631b0db2da509f381b4fb1e74173c5","date":"2024-04-19T21:36:04Z","outputs":[{"name":"out","path":"/nix/store/n9v866s7w8qchc0r1k9j8d9k7cgabamz-vimplugin-coq.thirdparty-2024-02-03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"92d295f588631b0db2da509f381b4fb1e74173c5","date":"2024-04-19T21:36:04Z","outputs":[{"name":"out","path":"/nix/store/0ix4pvvy36k0nil8pspz4m25kcl0mqlm-vimplugin-coq.thirdparty-2024-02-03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"92d295f588631b0db2da509f381b4fb1e74173c5","date":"2024-04-19T21:36:04Z","outputs":[{"name":"out","path":"/nix/store/mnl4z8fbgsn8sw43pb73y81bk79qxnx0-vimplugin-coq.thirdparty-2024-02-03","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024-01-12","last_updated":"2024-02-13T17:33:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/4mkald20s7d8pm72s41jl4lf1anva26z-vimplugin-coq.thirdparty-2024-01-12","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/4bl62h2p7qf0l4sppk0yk0h72865pcz3-vimplugin-coq.thirdparty-2024-01-12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/np95rj7a51a2gz4dskykcqy0l9vl6fds-vimplugin-coq.thirdparty-2024-01-12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/m89csjyq6dmwl07gawr1lcs5cw9wrwqs-vimplugin-coq.thirdparty-2024-01-12","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024-01-01","last_updated":"2024-01-14T03:55:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dd5621df6dcb90122b50da5ec31c411a0de3e538","date":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/7h2pgyph6z9jranf27dhvxlm4h12l3jh-vimplugin-coq.thirdparty-2024-01-01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dd5621df6dcb90122b50da5ec31c411a0de3e538","date":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/56f2zhz32v1g3hxdv1aafn0dyafx1z5c-vimplugin-coq.thirdparty-2024-01-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dd5621df6dcb90122b50da5ec31c411a0de3e538","date":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/js5by3vpxyk5kz5v7mf30pznhyhi657g-vimplugin-coq.thirdparty-2024-01-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dd5621df6dcb90122b50da5ec31c411a0de3e538","date":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/1ws2klzs0midqz6bjychf2k17d0jf0ms-vimplugin-coq.thirdparty-2024-01-01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-10-28","last_updated":"2024-01-02T02:19:20Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"63143ac2c9186be6d9da6035fa22620018c85932","date":"2024-01-02T02:19:20Z","outputs":[{"name":"out","path":"/nix/store/v9avi6spp0q515nj7ipsc1lsv1bslyim-vimplugin-coq.thirdparty-2023-10-28","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"63143ac2c9186be6d9da6035fa22620018c85932","date":"2024-01-02T02:19:20Z","outputs":[{"name":"out","path":"/nix/store/9gvjvd26hb6sng2dpznaxczbz74jvpzc-vimplugin-coq.thirdparty-2023-10-28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"63143ac2c9186be6d9da6035fa22620018c85932","date":"2024-01-02T02:19:20Z","outputs":[{"name":"out","path":"/nix/store/yjaiqbiwi1hpj18srqvl6046v1pfc7c8-vimplugin-coq.thirdparty-2023-10-28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"63143ac2c9186be6d9da6035fa22620018c85932","date":"2024-01-02T02:19:20Z","outputs":[{"name":"out","path":"/nix/store/pay0ws77cm8yj4n0ch8ad9f1giqn8wyz-vimplugin-coq.thirdparty-2023-10-28","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-08-27","last_updated":"2023-10-25T20:49:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/rg2fqkkjagkyq8b5460dy009s1f0vfzn-vimplugin-coq.thirdparty-2023-08-27","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/aqw0vgy32m88rynvw5dlin6ff6rp37ic-vimplugin-coq.thirdparty-2023-08-27","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/lxw48fg6j82ndajd2vdc5vh6p2ls1w28-vimplugin-coq.thirdparty-2023-08-27","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/36s588f75kk0sb6rspvyqhp601yxj1ml-vimplugin-coq.thirdparty-2023-08-27","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-08-22","last_updated":"2023-08-30T00:25:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/bympwr5wmlq3anjr2cphl4i4cialinxx-vimplugin-coq.thirdparty-2023-08-22","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/7sayp3hpqra4iwz5alcm9njasbir2bfm-vimplugin-coq.thirdparty-2023-08-22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/fiffk4i1glmk9gclhdjh26swi48lbbrz-vimplugin-coq.thirdparty-2023-08-22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/acaym1v86swj31xlp3gkpwlw4fzlkml3-vimplugin-coq.thirdparty-2023-08-22","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-08-13","last_updated":"2023-08-22T06:04:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37","date":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/r0w3lqix1bpkmagl301r98wp3nhn9hpi-vimplugin-coq.thirdparty-2023-08-13","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37","date":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/c742wm41g8v9w165nlz8lqasmcqmziiy-vimplugin-coq.thirdparty-2023-08-13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37","date":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/fi4nj87lljsbi1krw5cm2ay5kzx2z73a-vimplugin-coq.thirdparty-2023-08-13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37","date":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/ps7vxk0p2yvliiplqk94kx29mrygihrb-vimplugin-coq.thirdparty-2023-08-13","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-08-06","last_updated":"2023-08-08T11:45:39Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/2hkq2c046c962yvf45l1ax0wlzri4fvz-vimplugin-coq.thirdparty-2023-08-06","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/3lfa02ai6clccbkbxv3gv4ihdgqr9fad-vimplugin-coq.thirdparty-2023-08-06","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/zgqv2cicvp6y270gb4fznx55ws17qf0s-vimplugin-coq.thirdparty-2023-08-06","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/4x4vjdb3zbl2ch9yfby93vffjz2pysjs-vimplugin-coq.thirdparty-2023-08-06","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-07-30","last_updated":"2023-08-05T07:03:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0d2fb29f5071a12d7983319c2c2576be6a130582","date":"2023-08-05T07:03:14Z","outputs":[{"name":"out","path":"/nix/store/1jxxb30b13j8yjg2z348hxbx1nimks6m-vimplugin-coq.thirdparty-2023-07-30","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0d2fb29f5071a12d7983319c2c2576be6a130582","date":"2023-08-05T07:03:14Z","outputs":[{"name":"out","path":"/nix/store/k6bkkkz43yb0mpk5a5i64pc6425nrng4-vimplugin-coq.thirdparty-2023-07-30","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0d2fb29f5071a12d7983319c2c2576be6a130582","date":"2023-08-05T07:03:14Z","outputs":[{"name":"out","path":"/nix/store/y6x1gm7xd3ps7mxilc1ffq6g0jnv7qsj-vimplugin-coq.thirdparty-2023-07-30","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0d2fb29f5071a12d7983319c2c2576be6a130582","date":"2023-08-05T07:03:14Z","outputs":[{"name":"out","path":"/nix/store/83m0a8b01knmxwvf4y56ffwjk5fdvay8-vimplugin-coq.thirdparty-2023-07-30","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-07-23","last_updated":"2023-07-26T13:29:16Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fb4debd73182c203a69060cb84e63c9e779c3a49","date":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/pxfwrhqrr4rjzgajkrfc86xzrr92kxq2-vimplugin-coq.thirdparty-2023-07-23","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fb4debd73182c203a69060cb84e63c9e779c3a49","date":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/z85b9k3zqz10wb47albagza185465mwr-vimplugin-coq.thirdparty-2023-07-23","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fb4debd73182c203a69060cb84e63c9e779c3a49","date":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/wbzdqlnw64n3qzzf82ybib0ahk1kaax0-vimplugin-coq.thirdparty-2023-07-23","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fb4debd73182c203a69060cb84e63c9e779c3a49","date":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/wfzldba70lpb2zvc2hyhapf45i45bgxk-vimplugin-coq.thirdparty-2023-07-23","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-07-16","last_updated":"2023-07-24T21:56:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/pgpqa2r02hzbdd6bkbhzrqdfah30ww9l-vimplugin-coq.thirdparty-2023-07-16","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/1cbzv30734ijnpajqv676xywh1ijcria-vimplugin-coq.thirdparty-2023-07-16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/z2xakqzfc8a4sxkbs1y3x0dq9kmqgkwa-vimplugin-coq.thirdparty-2023-07-16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/vvp14cnaaiyds8ks65wy88l8w57n8czi-vimplugin-coq.thirdparty-2023-07-16","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-07-09","last_updated":"2023-07-15T19:29:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"29bcead8405cfe4c00085843eb372cc43837bb9d","date":"2023-07-15T19:29:31Z","outputs":[{"name":"out","path":"/nix/store/98fk7n8xdinnj9xk4ls10c41r6raj8lq-vimplugin-coq.thirdparty-2023-07-09","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"29bcead8405cfe4c00085843eb372cc43837bb9d","date":"2023-07-15T19:29:31Z","outputs":[{"name":"out","path":"/nix/store/6983n2rdr3k9p429jsgbhawqsfaliw7d-vimplugin-coq.thirdparty-2023-07-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"29bcead8405cfe4c00085843eb372cc43837bb9d","date":"2023-07-15T19:29:31Z","outputs":[{"name":"out","path":"/nix/store/gm5ryiq4ni6lk6bz5k9li8l5fq1ra99v-vimplugin-coq.thirdparty-2023-07-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"29bcead8405cfe4c00085843eb372cc43837bb9d","date":"2023-07-15T19:29:31Z","outputs":[{"name":"out","path":"/nix/store/g8p270x3d1f5q12yycmffqkrp9wbqjsp-vimplugin-coq.thirdparty-2023-07-09","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-07-06","last_updated":"2023-07-08T23:40:38Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d485da9d0034a72ceb9679c2ab0156c073f66b82","date":"2023-07-08T23:40:38Z","outputs":[{"name":"out","path":"/nix/store/df1hjma5y7l1648bwbihdc520z6znqkm-vimplugin-coq.thirdparty-2023-07-06","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d485da9d0034a72ceb9679c2ab0156c073f66b82","date":"2023-07-08T23:40:38Z","outputs":[{"name":"out","path":"/nix/store/70kh26r7pp3rgnd50da40cfqhs05pw6h-vimplugin-coq.thirdparty-2023-07-06","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d485da9d0034a72ceb9679c2ab0156c073f66b82","date":"2023-07-08T23:40:38Z","outputs":[{"name":"out","path":"/nix/store/0gi0agpk4a5lq6gi204qcawj1iyyrbab-vimplugin-coq.thirdparty-2023-07-06","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d485da9d0034a72ceb9679c2ab0156c073f66b82","date":"2023-07-08T23:40:38Z","outputs":[{"name":"out","path":"/nix/store/82qflvkiyd3plra8flr0bg6lw07260r0-vimplugin-coq.thirdparty-2023-07-06","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-07-04","last_updated":"2023-07-06T12:20:10Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"5daaa32204e9c46b05cd709218b7ba733d07e80c","date":"2023-07-06T12:20:10Z","outputs":[{"name":"out","path":"/nix/store/nis3nin1m139bs656cm8yg3zhddpn3h2-vimplugin-coq.thirdparty-2023-07-04","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"5daaa32204e9c46b05cd709218b7ba733d07e80c","date":"2023-07-06T12:20:10Z","outputs":[{"name":"out","path":"/nix/store/n1ksmfmp5v3x583y3wc2hqv7s0cp50s1-vimplugin-coq.thirdparty-2023-07-04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"5daaa32204e9c46b05cd709218b7ba733d07e80c","date":"2023-07-06T12:20:10Z","outputs":[{"name":"out","path":"/nix/store/vf7q57svqimgazhykzqbqifvsxcmv1yr-vimplugin-coq.thirdparty-2023-07-04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"5daaa32204e9c46b05cd709218b7ba733d07e80c","date":"2023-07-06T12:20:10Z","outputs":[{"name":"out","path":"/nix/store/ynnk2m7nn8i3zpssflq836gf0lzd7aqy-vimplugin-coq.thirdparty-2023-07-04","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-07-03","last_updated":"2023-07-04T10:03:37Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0d5682acc109add20f70440269587a1b169cc2fe","date":"2023-07-04T10:03:37Z","outputs":[{"name":"out","path":"/nix/store/i0vdc41c5c4bam3whc3nz6dr8n1ygpz6-vimplugin-coq.thirdparty-2023-07-03","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0d5682acc109add20f70440269587a1b169cc2fe","date":"2023-07-04T10:03:37Z","outputs":[{"name":"out","path":"/nix/store/lkfvx02wqj2kscpz2fafbaspryrfkg2b-vimplugin-coq.thirdparty-2023-07-03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0d5682acc109add20f70440269587a1b169cc2fe","date":"2023-07-04T10:03:37Z","outputs":[{"name":"out","path":"/nix/store/0jfgjh4q58p1mnczzp3i3846sm381fg1-vimplugin-coq.thirdparty-2023-07-03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0d5682acc109add20f70440269587a1b169cc2fe","date":"2023-07-04T10:03:37Z","outputs":[{"name":"out","path":"/nix/store/gnnd4vdribkz11vh84flssv6k8baspg4-vimplugin-coq.thirdparty-2023-07-03","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-07-01","last_updated":"2023-07-01T14:18:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"cd99c2b3c9f160cd004318e0697f90bbd5960825","date":"2023-07-01T14:18:06Z","outputs":[{"name":"out","path":"/nix/store/wnz0v490nvhgnn0jzvmg6r5vfw3qjraz-vimplugin-coq.thirdparty-2023-07-01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"cd99c2b3c9f160cd004318e0697f90bbd5960825","date":"2023-07-01T14:18:06Z","outputs":[{"name":"out","path":"/nix/store/0c1pdn9akvds0hc267m65p2i1d2mx1w5-vimplugin-coq.thirdparty-2023-07-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"cd99c2b3c9f160cd004318e0697f90bbd5960825","date":"2023-07-01T14:18:06Z","outputs":[{"name":"out","path":"/nix/store/rd3h2lqalpb30c159i58phwqvh3zns88-vimplugin-coq.thirdparty-2023-07-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"cd99c2b3c9f160cd004318e0697f90bbd5960825","date":"2023-07-01T14:18:06Z","outputs":[{"name":"out","path":"/nix/store/8g578gm1qn8q3pszqhhngcmcfxjpsdvp-vimplugin-coq.thirdparty-2023-07-01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-06-28","last_updated":"2023-06-30T04:44:22Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3c614fbc76fc152f3e1bc4b2263da6d90adf80fb","date":"2023-06-30T04:44:22Z","outputs":[{"name":"out","path":"/nix/store/ar2fa1xs026rflpi4zq57z0y4z89gphj-vimplugin-coq.thirdparty-2023-06-28","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3c614fbc76fc152f3e1bc4b2263da6d90adf80fb","date":"2023-06-30T04:44:22Z","outputs":[{"name":"out","path":"/nix/store/4ymncvimqzag2l4am0m6dh7dl7zb96vc-vimplugin-coq.thirdparty-2023-06-28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3c614fbc76fc152f3e1bc4b2263da6d90adf80fb","date":"2023-06-30T04:44:22Z","outputs":[{"name":"out","path":"/nix/store/ga2wl6xbv804vlhk3jgi2hg792n40bgy-vimplugin-coq.thirdparty-2023-06-28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3c614fbc76fc152f3e1bc4b2263da6d90adf80fb","date":"2023-06-30T04:44:22Z","outputs":[{"name":"out","path":"/nix/store/yf9104ilh34i48vgpx2klqhzk7rhr62f-vimplugin-coq.thirdparty-2023-06-28","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-06-25","last_updated":"2023-06-28T09:59:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"1c851e8c92b76a00ce84167984a7ec7ba2b1f29c","date":"2023-06-28T09:59:02Z","outputs":[{"name":"out","path":"/nix/store/462zw3xxln1iaspxvy3mb3la1mxzz7rr-vimplugin-coq.thirdparty-2023-06-25","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"1c851e8c92b76a00ce84167984a7ec7ba2b1f29c","date":"2023-06-28T09:59:02Z","outputs":[{"name":"out","path":"/nix/store/90hrmgv9nk9yigmv2dx7jyj9n9cpya9w-vimplugin-coq.thirdparty-2023-06-25","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"1c851e8c92b76a00ce84167984a7ec7ba2b1f29c","date":"2023-06-28T09:59:02Z","outputs":[{"name":"out","path":"/nix/store/1cml7lbjgcq6zrfdcvhsyfxg0ivdbi8g-vimplugin-coq.thirdparty-2023-06-25","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"1c851e8c92b76a00ce84167984a7ec7ba2b1f29c","date":"2023-06-28T09:59:02Z","outputs":[{"name":"out","path":"/nix/store/gj48a1c942gwmima1ljmpc8h1ks6bmyd-vimplugin-coq.thirdparty-2023-06-25","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-06-18","last_updated":"2023-06-27T08:49:46Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"b38e95ea6c15b9ce098556f410d715b262fa386a","date":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/k8iz6lzc15p71r59wj2xparwd6sf02sp-vimplugin-coq.thirdparty-2023-06-18","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"b38e95ea6c15b9ce098556f410d715b262fa386a","date":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/plliwnf169w2y7ww9ppfddjn4gghhb90-vimplugin-coq.thirdparty-2023-06-18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"b38e95ea6c15b9ce098556f410d715b262fa386a","date":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/yfw182dgac92m4sqggpssw6iq538d8xg-vimplugin-coq.thirdparty-2023-06-18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"b38e95ea6c15b9ce098556f410d715b262fa386a","date":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/wklbxp3c3wjv5d40cqcikbihnf8a2np3-vimplugin-coq.thirdparty-2023-06-18","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-06-11","last_updated":"2023-06-18T07:20:12Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"4d887ae7666a6ffb79e1767d8fd417daf9e4220f","date":"2023-06-18T07:20:12Z","outputs":[{"name":"out","path":"/nix/store/9lddckzxm6fj39lwg987lwr61v9pf0zz-vimplugin-coq.thirdparty-2023-06-11","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"4d887ae7666a6ffb79e1767d8fd417daf9e4220f","date":"2023-06-18T07:20:12Z","outputs":[{"name":"out","path":"/nix/store/0w9iq0lpprlglzhx2a924y0vccmx9aq5-vimplugin-coq.thirdparty-2023-06-11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"4d887ae7666a6ffb79e1767d8fd417daf9e4220f","date":"2023-06-18T07:20:12Z","outputs":[{"name":"out","path":"/nix/store/w2rgc749b8ik0kbilmavnhrssh8aqld8-vimplugin-coq.thirdparty-2023-06-11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"4d887ae7666a6ffb79e1767d8fd417daf9e4220f","date":"2023-06-18T07:20:12Z","outputs":[{"name":"out","path":"/nix/store/9xn93hgc5zn1hzg54dbh2xd4h0l4lxbg-vimplugin-coq.thirdparty-2023-06-11","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-06-04","last_updated":"2023-06-05T20:59:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/5dswzy8zd2y1y2nq7am6j4xyhp0h4d5m-vimplugin-coq.thirdparty-2023-06-04","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/1gs177j8dg94sjvrkz94qq3j4rs2p08n-vimplugin-coq.thirdparty-2023-06-04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/0lynlnx3bihr3bjv6fpz69d6rir4n7wy-vimplugin-coq.thirdparty-2023-06-04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/z10s7avl494383fx73vampd4bvv2la6d-vimplugin-coq.thirdparty-2023-06-04","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-05-28","last_updated":"2023-06-01T21:06:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e002d1926c23b29be7b59217e5f9740565b642ca","date":"2023-06-01T21:06:48Z","outputs":[{"name":"out","path":"/nix/store/6ib1vdiwklq8lj2cirpg36ynfvzv28g9-vimplugin-coq.thirdparty-2023-05-28","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e002d1926c23b29be7b59217e5f9740565b642ca","date":"2023-06-01T21:06:48Z","outputs":[{"name":"out","path":"/nix/store/jxsdyq3qmb7ncmwzdy03x1ixhydvgvh2-vimplugin-coq.thirdparty-2023-05-28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e002d1926c23b29be7b59217e5f9740565b642ca","date":"2023-06-01T21:06:48Z","outputs":[{"name":"out","path":"/nix/store/hd3560siifzc17hn2v66hhrbxdylwvns-vimplugin-coq.thirdparty-2023-05-28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e002d1926c23b29be7b59217e5f9740565b642ca","date":"2023-06-01T21:06:48Z","outputs":[{"name":"out","path":"/nix/store/plzr7qk1khiv8kywdkpbx7sgx7hrkqpk-vimplugin-coq.thirdparty-2023-05-28","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-05-21","last_updated":"2023-05-23T13:49:38Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"30b82a186bc585872624a298a5169d1d237ce6a4","date":"2023-05-23T13:49:38Z","outputs":[{"name":"out","path":"/nix/store/kxy7f80g022dli818wywm3f773djlxvn-vimplugin-coq.thirdparty-2023-05-21","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"30b82a186bc585872624a298a5169d1d237ce6a4","date":"2023-05-23T13:49:38Z","outputs":[{"name":"out","path":"/nix/store/nh70xkc52b75wg74sm5vv2ja5644y9va-vimplugin-coq.thirdparty-2023-05-21","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"30b82a186bc585872624a298a5169d1d237ce6a4","date":"2023-05-23T13:49:38Z","outputs":[{"name":"out","path":"/nix/store/r94rwnq6wcdjxw2wlxpr8lq4nkjqdy3l-vimplugin-coq.thirdparty-2023-05-21","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"30b82a186bc585872624a298a5169d1d237ce6a4","date":"2023-05-23T13:49:38Z","outputs":[{"name":"out","path":"/nix/store/k565d0zmlifcb2gzd2h2whvljj4pmxrs-vimplugin-coq.thirdparty-2023-05-21","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-05-14","last_updated":"2023-05-21T11:28:39Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"85340996ba67cc02f01ba324e18b1306892ed6f5","date":"2023-05-21T11:28:39Z","outputs":[{"name":"out","path":"/nix/store/n38fxvp234n848vg5nvr05dq41bn7i0r-vimplugin-coq.thirdparty-2023-05-14","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"85340996ba67cc02f01ba324e18b1306892ed6f5","date":"2023-05-21T11:28:39Z","outputs":[{"name":"out","path":"/nix/store/jsgwx2b42cw78s7zd050fy3g05wiycxq-vimplugin-coq.thirdparty-2023-05-14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"85340996ba67cc02f01ba324e18b1306892ed6f5","date":"2023-05-21T11:28:39Z","outputs":[{"name":"out","path":"/nix/store/8d3zkjnnf5yggf6blb9wv7m9j7dlzlah-vimplugin-coq.thirdparty-2023-05-14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"85340996ba67cc02f01ba324e18b1306892ed6f5","date":"2023-05-21T11:28:39Z","outputs":[{"name":"out","path":"/nix/store/2ib8nmbyy8j99makd703lgvnh7np9gda-vimplugin-coq.thirdparty-2023-05-14","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-05-07","last_updated":"2023-05-14T19:13:12Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/sd55sbzk8lgcy06jngacpgcqw3166pd9-vimplugin-coq.thirdparty-2023-05-07","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/mraml9xxb5zkhaqqy1i38iq6fiv8cd62-vimplugin-coq.thirdparty-2023-05-07","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/kvmxy623d9fbg0gydki6w27if1yifiar-vimplugin-coq.thirdparty-2023-05-07","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/3hfg58n61mhm8bvzjqhxq1dlbxin03yx-vimplugin-coq.thirdparty-2023-05-07","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-04-30","last_updated":"2023-05-07T16:00:40Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e040aab15638aaf8d0786894851a2b1ca09a7baf","date":"2023-05-07T16:00:40Z","outputs":[{"name":"out","path":"/nix/store/4cs8q5csq009xrdw9cmcclf0w9wi99ma-vimplugin-coq.thirdparty-2023-04-30","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e040aab15638aaf8d0786894851a2b1ca09a7baf","date":"2023-05-07T16:00:40Z","outputs":[{"name":"out","path":"/nix/store/pwl5cg0r0ffw4h4q9nsvpz48456x96fw-vimplugin-coq.thirdparty-2023-04-30","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e040aab15638aaf8d0786894851a2b1ca09a7baf","date":"2023-05-07T16:00:40Z","outputs":[{"name":"out","path":"/nix/store/xd1c4ry5rpqm227qh465flks3dmvwvh1-vimplugin-coq.thirdparty-2023-04-30","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e040aab15638aaf8d0786894851a2b1ca09a7baf","date":"2023-05-07T16:00:40Z","outputs":[{"name":"out","path":"/nix/store/d05123zq258ifa0dn135ahmfxmz92xzc-vimplugin-coq.thirdparty-2023-04-30","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-04-16","last_updated":"2023-05-01T16:53:22Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8670e496ffd093b60e74e7fa53526aa5920d09eb","date":"2023-05-01T16:53:22Z","outputs":[{"name":"out","path":"/nix/store/ghs39yq0g9jj0mn6cwkf4jm1h4qikdrr-vimplugin-coq.thirdparty-2023-04-16","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8670e496ffd093b60e74e7fa53526aa5920d09eb","date":"2023-05-01T16:53:22Z","outputs":[{"name":"out","path":"/nix/store/w48vlrphd4qhv8b9ympbzyjvjlh1p7sk-vimplugin-coq.thirdparty-2023-04-16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8670e496ffd093b60e74e7fa53526aa5920d09eb","date":"2023-05-01T16:53:22Z","outputs":[{"name":"out","path":"/nix/store/3h1lj65f9piwsp8460sgwg0vkbjj47l5-vimplugin-coq.thirdparty-2023-04-16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8670e496ffd093b60e74e7fa53526aa5920d09eb","date":"2023-05-01T16:53:22Z","outputs":[{"name":"out","path":"/nix/store/v2jp7c411byzp399j15j8scqdjpxld9z-vimplugin-coq.thirdparty-2023-04-16","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-04-09","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/q4yhsk6f7vwfxpvd984g91vda6h4w0bm-vimplugin-coq.thirdparty-2023-04-09","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/nwx57kls7w9axphzc5gz46safb6v633y-vimplugin-coq.thirdparty-2023-04-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/blaq0lslgjwssf6rvdca5917kz9imkrb-vimplugin-coq.thirdparty-2023-04-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/n01s1c8lqia3b2rn1y7zvv8ry2agrsiw-vimplugin-coq.thirdparty-2023-04-09","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-04-02","last_updated":"2023-04-10T02:09:49Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"431bf1e6cdd494e5230fbb72884afb4ca612c578","date":"2023-04-09T01:15:51Z","outputs":[{"name":"out","path":"/nix/store/i5jnrjy81bwscs667h2cgk9jc31b1h69-vimplugin-coq.thirdparty-2023-04-02","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"83ca2cd74539fb8e79d46e233f6bb1d978c36f32","date":"2023-04-10T02:09:49Z","outputs":[{"name":"out","path":"/nix/store/gk7y8xz1c4fcyviikxcqyd055dqgfmwy-vimplugin-coq.thirdparty-2023-04-02","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"83ca2cd74539fb8e79d46e233f6bb1d978c36f32","date":"2023-04-10T02:09:49Z","outputs":[{"name":"out","path":"/nix/store/k06pq67a5nw070pms92wab09fd8080g7-vimplugin-coq.thirdparty-2023-04-02","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"83ca2cd74539fb8e79d46e233f6bb1d978c36f32","date":"2023-04-10T02:09:49Z","outputs":[{"name":"out","path":"/nix/store/hr0y3jmyi8yxla6r64vswrl2618lwn4i-vimplugin-coq.thirdparty-2023-04-02","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-03-26","last_updated":"2023-03-28T10:29:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/952pmkn4v6jjh846d5ivlzbg3x02s3nz-vimplugin-coq.thirdparty-2023-03-26","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/9cr07l8dy715gh60a7pslbnv2hhqic62-vimplugin-coq.thirdparty-2023-03-26","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/fk0xnq97h1mmks2l79jkfxawkwqyhbc4-vimplugin-coq.thirdparty-2023-03-26","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/vgdarr5z64w7c134m4paqx64djgs30zr-vimplugin-coq.thirdparty-2023-03-26","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-03-19","last_updated":"2023-03-20T13:40:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8bc6945b1224a1cfa679d6801580b1054dba1a5c","date":"2023-03-20T13:40:06Z","outputs":[{"name":"out","path":"/nix/store/x6a6zxzc04bzvsdf4mjvqlfkbls476dz-vimplugin-coq.thirdparty-2023-03-19","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8bc6945b1224a1cfa679d6801580b1054dba1a5c","date":"2023-03-20T13:40:06Z","outputs":[{"name":"out","path":"/nix/store/4zc53vgxvs1ql1jyqgcvaandw9kcqjwk-vimplugin-coq.thirdparty-2023-03-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8bc6945b1224a1cfa679d6801580b1054dba1a5c","date":"2023-03-20T13:40:06Z","outputs":[{"name":"out","path":"/nix/store/kd367j1z7f4vc6ahfy9c17zmvvx6vg5g-vimplugin-coq.thirdparty-2023-03-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8bc6945b1224a1cfa679d6801580b1054dba1a5c","date":"2023-03-20T13:40:06Z","outputs":[{"name":"out","path":"/nix/store/6qskxravjp7vv3i88ypsilx803jgq19i-vimplugin-coq.thirdparty-2023-03-19","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-03-12","last_updated":"2023-03-16T17:26:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"194c2aa446b2b059886bb68be15ef6736d5a8c31","date":"2023-03-16T17:26:55Z","outputs":[{"name":"out","path":"/nix/store/hhx9fbg9641vl7jk9gc0md9r6b4gnx9i-vimplugin-coq.thirdparty-2023-03-12","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"194c2aa446b2b059886bb68be15ef6736d5a8c31","date":"2023-03-16T17:26:55Z","outputs":[{"name":"out","path":"/nix/store/4xkls87sxr11ybgb34l49cmjarjx783p-vimplugin-coq.thirdparty-2023-03-12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"194c2aa446b2b059886bb68be15ef6736d5a8c31","date":"2023-03-16T17:26:55Z","outputs":[{"name":"out","path":"/nix/store/74vcn9jayyck6ag1ip1jm80ry8gwgra0-vimplugin-coq.thirdparty-2023-03-12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"194c2aa446b2b059886bb68be15ef6736d5a8c31","date":"2023-03-16T17:26:55Z","outputs":[{"name":"out","path":"/nix/store/wx6gpmgdxcrjrf53dfrd5z8wzf5iimxp-vimplugin-coq.thirdparty-2023-03-12","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-03-05","last_updated":"2023-03-06T15:34:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"49596eb4e50b18337aad3b73317371bcd4e3b047","date":"2023-03-06T15:34:48Z","outputs":[{"name":"out","path":"/nix/store/r67m5r9qab1cjszkxvp0wnr4nzx6wn9b-vimplugin-coq.thirdparty-2023-03-05","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"49596eb4e50b18337aad3b73317371bcd4e3b047","date":"2023-03-06T15:34:48Z","outputs":[{"name":"out","path":"/nix/store/2yj2qar2ps3raj9prnpmlx032x3r780y-vimplugin-coq.thirdparty-2023-03-05","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"49596eb4e50b18337aad3b73317371bcd4e3b047","date":"2023-03-06T15:34:48Z","outputs":[{"name":"out","path":"/nix/store/ax1rd1cjl2dhxba3l4vnpz34x4gpzp52-vimplugin-coq.thirdparty-2023-03-05","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"49596eb4e50b18337aad3b73317371bcd4e3b047","date":"2023-03-06T15:34:48Z","outputs":[{"name":"out","path":"/nix/store/ahx3sd25pbd03mkzlpdvb8a8l448rf5j-vimplugin-coq.thirdparty-2023-03-05","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-02-19","last_updated":"2023-03-03T04:15:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/bnrn4ryv9hf34ds4db4bkpabh9jkw6r8-vimplugin-coq.thirdparty-2023-02-19","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/7xipbsbp4prs9033mk1iil6yrzkx7amd-vimplugin-coq.thirdparty-2023-02-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/n118x4pabszdjkl9gigblnhi16nkqqza-vimplugin-coq.thirdparty-2023-02-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/d4y7k30hxqhyqr4z1yhi2hg212cb3n2k-vimplugin-coq.thirdparty-2023-02-19","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-02-12","last_updated":"2023-02-14T17:36:21Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a9c9d1924b437a2800b10a2100a07e7d00c8f5c7","date":"2023-02-14T17:36:21Z","outputs":[{"name":"out","path":"/nix/store/z294jxldwawh3b1pzp47r165svs21b2y-vimplugin-coq.thirdparty-2023-02-12","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a9c9d1924b437a2800b10a2100a07e7d00c8f5c7","date":"2023-02-14T17:36:21Z","outputs":[{"name":"out","path":"/nix/store/3my0b589ic1wcmlyl53v2yl4hbs3wja9-vimplugin-coq.thirdparty-2023-02-12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a9c9d1924b437a2800b10a2100a07e7d00c8f5c7","date":"2023-02-14T17:36:21Z","outputs":[{"name":"out","path":"/nix/store/rmpan610dah1jz0ql5zvr3bphl1lk5sl-vimplugin-coq.thirdparty-2023-02-12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a9c9d1924b437a2800b10a2100a07e7d00c8f5c7","date":"2023-02-14T17:36:21Z","outputs":[{"name":"out","path":"/nix/store/b6iaxlr81fvj8sizqfg9fk1sjck60ljp-vimplugin-coq.thirdparty-2023-02-12","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-01-29","last_updated":"2023-02-14T00:52:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/hhx6bmdmya6y4va5l2xm3q0rj70mppx7-vimplugin-coq.thirdparty-2023-01-29","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/s1vf0zjwv2w8jwl6bj0187h4ki5icpbf-vimplugin-coq.thirdparty-2023-01-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/24vl35lxnyzjdza09786c1ipyhj1sq5p-vimplugin-coq.thirdparty-2023-01-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/99ff42s2gh9isv6fxzqkp81vr6ah6smc-vimplugin-coq.thirdparty-2023-01-29","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-01-22","last_updated":"2023-01-23T07:03:34Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f32319e7ba8f03ea2f1c66a5ffe43b4e771108f5","date":"2023-01-23T07:03:34Z","outputs":[{"name":"out","path":"/nix/store/g74dy0w9paszkrgwkpk77150v4w168yh-vimplugin-coq.thirdparty-2023-01-22","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f32319e7ba8f03ea2f1c66a5ffe43b4e771108f5","date":"2023-01-23T07:03:34Z","outputs":[{"name":"out","path":"/nix/store/1wpkdl9j2ckkpgqinlyd42x1ppdza47m-vimplugin-coq.thirdparty-2023-01-22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f32319e7ba8f03ea2f1c66a5ffe43b4e771108f5","date":"2023-01-23T07:03:34Z","outputs":[{"name":"out","path":"/nix/store/00kh070820gb6g8gv7rfr98aazd6kfdc-vimplugin-coq.thirdparty-2023-01-22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f32319e7ba8f03ea2f1c66a5ffe43b4e771108f5","date":"2023-01-23T07:03:34Z","outputs":[{"name":"out","path":"/nix/store/7jazvxyyx8qgkjbk7aal92qvx89yv823-vimplugin-coq.thirdparty-2023-01-22","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-01-15","last_updated":"2023-01-20T17:44:10Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"cfb43ad7b941d9c3606fb35d91228da7ebddbfc5","date":"2023-01-20T17:44:10Z","outputs":[{"name":"out","path":"/nix/store/8is01k2h41jv3phrif7djy100n5ph9fg-vimplugin-coq.thirdparty-2023-01-15","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"cfb43ad7b941d9c3606fb35d91228da7ebddbfc5","date":"2023-01-20T17:44:10Z","outputs":[{"name":"out","path":"/nix/store/hvbh72q6qfckb0i3x3ql9v3119j6z1nb-vimplugin-coq.thirdparty-2023-01-15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"cfb43ad7b941d9c3606fb35d91228da7ebddbfc5","date":"2023-01-20T17:44:10Z","outputs":[{"name":"out","path":"/nix/store/svxs97rxa51pv6j5mdj6z9rw90d0xy0z-vimplugin-coq.thirdparty-2023-01-15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"cfb43ad7b941d9c3606fb35d91228da7ebddbfc5","date":"2023-01-20T17:44:10Z","outputs":[{"name":"out","path":"/nix/store/9g9dpx848yd3grz5m4jpcflbz11496fs-vimplugin-coq.thirdparty-2023-01-15","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-01-08","last_updated":"2023-01-17T09:21:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"2d38b664b4400335086a713a0036aafaa002c003","date":"2023-01-17T09:21:52Z","outputs":[{"name":"out","path":"/nix/store/bfirr33m6gyvgik0wy3f203kz6hwd6xa-vimplugin-coq.thirdparty-2023-01-08","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"2d38b664b4400335086a713a0036aafaa002c003","date":"2023-01-17T09:21:52Z","outputs":[{"name":"out","path":"/nix/store/kcsb80c39kyljg747x146b9m73ki2irn-vimplugin-coq.thirdparty-2023-01-08","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"2d38b664b4400335086a713a0036aafaa002c003","date":"2023-01-17T09:21:52Z","outputs":[{"name":"out","path":"/nix/store/w1w66bkr1af7aa57zlmaxlgrr5zacxsc-vimplugin-coq.thirdparty-2023-01-08","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"2d38b664b4400335086a713a0036aafaa002c003","date":"2023-01-17T09:21:52Z","outputs":[{"name":"out","path":"/nix/store/v7z4bic3vw5x6p912aqlsxqfz2jn8w4k-vimplugin-coq.thirdparty-2023-01-08","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-12-25","last_updated":"2023-01-06T09:23:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f1ffcf798e93b169321106a4aef79526a2b4bd0a","date":"2023-01-06T09:23:55Z","outputs":[{"name":"out","path":"/nix/store/4vd1ggr4j2bw1pz5ddcmvbxzyryl1id8-vimplugin-coq.thirdparty-2022-12-25","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f1ffcf798e93b169321106a4aef79526a2b4bd0a","date":"2023-01-06T09:23:55Z","outputs":[{"name":"out","path":"/nix/store/wji0nqdn4lacqwh2gbkya6hdq9hcvvx3-vimplugin-coq.thirdparty-2022-12-25","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f1ffcf798e93b169321106a4aef79526a2b4bd0a","date":"2023-01-06T09:23:55Z","outputs":[{"name":"out","path":"/nix/store/cks53scf57gppgafw51q0wfzgb9jakrf-vimplugin-coq.thirdparty-2022-12-25","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f1ffcf798e93b169321106a4aef79526a2b4bd0a","date":"2023-01-06T09:23:55Z","outputs":[{"name":"out","path":"/nix/store/zsbj6chqq0qw92fz4vs5z81q5vcwhlm1-vimplugin-coq.thirdparty-2022-12-25","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-12-23","last_updated":"2022-12-25T02:54:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"18ee49839ea8817218c3bfe3a62e06f47a10fdd5","date":"2022-12-25T02:54:27Z","outputs":[{"name":"out","path":"/nix/store/ishkqq0dffrvcwagyrf5a7kyaxs70d0q-vimplugin-coq.thirdparty-2022-12-23","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"18ee49839ea8817218c3bfe3a62e06f47a10fdd5","date":"2022-12-25T02:54:27Z","outputs":[{"name":"out","path":"/nix/store/3ajhpff21rchzmsj1ws2npdrvfkgp6kx-vimplugin-coq.thirdparty-2022-12-23","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"18ee49839ea8817218c3bfe3a62e06f47a10fdd5","date":"2022-12-25T02:54:27Z","outputs":[{"name":"out","path":"/nix/store/4x5yvfnb6zgwpkp63syja51djs577w46-vimplugin-coq.thirdparty-2022-12-23","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"18ee49839ea8817218c3bfe3a62e06f47a10fdd5","date":"2022-12-25T02:54:27Z","outputs":[{"name":"out","path":"/nix/store/888z2hzasd1x4pwjxqfd38bm2961wdvd-vimplugin-coq.thirdparty-2022-12-23","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-12-19","last_updated":"2022-12-20T14:58:49Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ba6ba2b90096dc49f448aa4d4d783b5081b1cc87","date":"2022-12-20T14:58:49Z","outputs":[{"name":"out","path":"/nix/store/glifcz7cwykkqwa8mncsdsqnp41ysyic-vimplugin-coq.thirdparty-2022-12-19","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ba6ba2b90096dc49f448aa4d4d783b5081b1cc87","date":"2022-12-20T14:58:49Z","outputs":[{"name":"out","path":"/nix/store/pn1cbvxb8immc4sf0ggbk4kbcd4zqkma-vimplugin-coq.thirdparty-2022-12-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ba6ba2b90096dc49f448aa4d4d783b5081b1cc87","date":"2022-12-20T14:58:49Z","outputs":[{"name":"out","path":"/nix/store/79v2a34mb58cw4k4lw4h00l89aapk60a-vimplugin-coq.thirdparty-2022-12-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ba6ba2b90096dc49f448aa4d4d783b5081b1cc87","date":"2022-12-20T14:58:49Z","outputs":[{"name":"out","path":"/nix/store/jlafgrcmfzcivqnmz69ndcq6cixpz0rv-vimplugin-coq.thirdparty-2022-12-19","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-12-16","last_updated":"2022-12-17T09:19:40Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/9a8v5j7qfc1ckylc7flgab8xr6vv1ach-vimplugin-coq.thirdparty-2022-12-16","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/37jm5vwxmv5xh0mi6nqbiq52lsrv74hk-vimplugin-coq.thirdparty-2022-12-16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/q28a78vb3q6wzh4mh9n7whqjwsq3pyi9-vimplugin-coq.thirdparty-2022-12-16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/234rzk42zw7m2lmd2x6aswdsb6zrq5ka-vimplugin-coq.thirdparty-2022-12-16","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-12-12","last_updated":"2022-12-13T07:54:22Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"84575b0bd882be979516f4fecfe4d7c8de8f6a92","date":"2022-12-13T07:54:22Z","outputs":[{"name":"out","path":"/nix/store/mwfavpbnbbrz9iyg5bxpilhwirn9c91f-vimplugin-coq.thirdparty-2022-12-12","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"84575b0bd882be979516f4fecfe4d7c8de8f6a92","date":"2022-12-13T07:54:22Z","outputs":[{"name":"out","path":"/nix/store/p3azbya2k10f3jxw7317qs5y7g7nfyxa-vimplugin-coq.thirdparty-2022-12-12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"84575b0bd882be979516f4fecfe4d7c8de8f6a92","date":"2022-12-13T07:54:22Z","outputs":[{"name":"out","path":"/nix/store/dmld2l6wz6sdjnpvz66kan24sz48p695-vimplugin-coq.thirdparty-2022-12-12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"84575b0bd882be979516f4fecfe4d7c8de8f6a92","date":"2022-12-13T07:54:22Z","outputs":[{"name":"out","path":"/nix/store/r1hnw802lf9fad9fmpabgw8facfija3y-vimplugin-coq.thirdparty-2022-12-12","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-12-11","last_updated":"2022-12-11T22:26:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fb83ee7d26bee200b2bd6b69df390c57dee4b6af","date":"2022-12-11T22:26:36Z","outputs":[{"name":"out","path":"/nix/store/ijv9cicnsmiqxqxlwc9f3w6x520xk7n7-vimplugin-coq.thirdparty-2022-12-11","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fb83ee7d26bee200b2bd6b69df390c57dee4b6af","date":"2022-12-11T22:26:36Z","outputs":[{"name":"out","path":"/nix/store/rm3d9ggn95010gs5cb0rjakvg8q9kiqn-vimplugin-coq.thirdparty-2022-12-11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fb83ee7d26bee200b2bd6b69df390c57dee4b6af","date":"2022-12-11T22:26:36Z","outputs":[{"name":"out","path":"/nix/store/0ryglxkh692lqzqp79aa64qnqmx6z1iw-vimplugin-coq.thirdparty-2022-12-11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fb83ee7d26bee200b2bd6b69df390c57dee4b6af","date":"2022-12-11T22:26:36Z","outputs":[{"name":"out","path":"/nix/store/2hbk2v3199pkmnb80jwm9xyl6jfdizd6-vimplugin-coq.thirdparty-2022-12-11","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-12-09","last_updated":"2022-12-10T04:48:08Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6f493a530feec7358f23d3680416b123717bdf62","date":"2022-12-10T04:48:08Z","outputs":[{"name":"out","path":"/nix/store/ycmvc6zmyz2m4l4vf6831bncdsl0fiqy-vimplugin-coq.thirdparty-2022-12-09","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6f493a530feec7358f23d3680416b123717bdf62","date":"2022-12-10T04:48:08Z","outputs":[{"name":"out","path":"/nix/store/c1gah4c049fsxwijwz5kvygdz0h65hsz-vimplugin-coq.thirdparty-2022-12-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6f493a530feec7358f23d3680416b123717bdf62","date":"2022-12-10T04:48:08Z","outputs":[{"name":"out","path":"/nix/store/73yhcfj44v9ykciz2fyqyj4lm9x8c2i6-vimplugin-coq.thirdparty-2022-12-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6f493a530feec7358f23d3680416b123717bdf62","date":"2022-12-10T04:48:08Z","outputs":[{"name":"out","path":"/nix/store/a21c19v4wzp0nlyczfvkrbb5ppgngjgg-vimplugin-coq.thirdparty-2022-12-09","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-12-07","last_updated":"2022-12-08T11:15:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"52665b05cfd702e12b877aa519b62374d003231a","date":"2022-12-08T11:15:29Z","outputs":[{"name":"out","path":"/nix/store/lppk5r9qhrwrdlbwx0igjdbify3m039f-vimplugin-coq.thirdparty-2022-12-07","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"52665b05cfd702e12b877aa519b62374d003231a","date":"2022-12-08T11:15:29Z","outputs":[{"name":"out","path":"/nix/store/zzy13kyzwghjglflh878bikvkakcnxy2-vimplugin-coq.thirdparty-2022-12-07","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"52665b05cfd702e12b877aa519b62374d003231a","date":"2022-12-08T11:15:29Z","outputs":[{"name":"out","path":"/nix/store/fjjhyjzhrl731y1n6awcfkhv6hsxaj1m-vimplugin-coq.thirdparty-2022-12-07","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"52665b05cfd702e12b877aa519b62374d003231a","date":"2022-12-08T11:15:29Z","outputs":[{"name":"out","path":"/nix/store/a26bm6gjarh9r5pbrq5ily8spznk408n-vimplugin-coq.thirdparty-2022-12-07","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-12-01","last_updated":"2022-12-01T20:39:33Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"9063accddd2e68dcc71032459a58399e977374c9","date":"2022-12-01T20:39:33Z","outputs":[{"name":"out","path":"/nix/store/as4nvwkqn2hzn9g5knw8828jyl9sl906-vimplugin-coq.thirdparty-2022-12-01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"9063accddd2e68dcc71032459a58399e977374c9","date":"2022-12-01T20:39:33Z","outputs":[{"name":"out","path":"/nix/store/0p82wn83idc83mr4nbq0kzh0zg12ql7b-vimplugin-coq.thirdparty-2022-12-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"9063accddd2e68dcc71032459a58399e977374c9","date":"2022-12-01T20:39:33Z","outputs":[{"name":"out","path":"/nix/store/54323pldzd04shdx973fh6m53sazpx63-vimplugin-coq.thirdparty-2022-12-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"9063accddd2e68dcc71032459a58399e977374c9","date":"2022-12-01T20:39:33Z","outputs":[{"name":"out","path":"/nix/store/71frh6gaagjf4l3a4f5l56g1d0xj5kab-vimplugin-coq.thirdparty-2022-12-01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-11-29","last_updated":"2022-11-29T19:39:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"19a6b85e8f8daca80e38418e96247cc499e2640e","date":"2022-11-29T19:39:05Z","outputs":[{"name":"out","path":"/nix/store/hdhr5sc09lnmn14qq9x9f2a411iqsqn4-vimplugin-coq.thirdparty-2022-11-29","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"19a6b85e8f8daca80e38418e96247cc499e2640e","date":"2022-11-29T19:39:05Z","outputs":[{"name":"out","path":"/nix/store/b4bnzgp6lbrla7a8w2503s3kahcb51p9-vimplugin-coq.thirdparty-2022-11-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"19a6b85e8f8daca80e38418e96247cc499e2640e","date":"2022-11-29T19:39:05Z","outputs":[{"name":"out","path":"/nix/store/vyadhyj60g8ya81g9n4a6pyn7vsabsbm-vimplugin-coq.thirdparty-2022-11-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"19a6b85e8f8daca80e38418e96247cc499e2640e","date":"2022-11-29T19:39:05Z","outputs":[{"name":"out","path":"/nix/store/6k7airgrxrdfkrdwff1ws896jyg0cy5w-vimplugin-coq.thirdparty-2022-11-29","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-11-24","last_updated":"2022-11-25T14:42:37Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd","date":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/xczv86zvwfvdbwxacvamv4d05s29x5j7-vimplugin-coq.thirdparty-2022-11-24","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd","date":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/4by0gi97xw2ljainsshpzj2fmwb03sh0-vimplugin-coq.thirdparty-2022-11-24","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd","date":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/06dsh71pfykanbpn8rh2lb3qclrplc38-vimplugin-coq.thirdparty-2022-11-24","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd","date":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/29l632qazdq7hc170v7sa3lp2skc7v8h-vimplugin-coq.thirdparty-2022-11-24","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-11-22","last_updated":"2022-11-24T03:40:30Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8e8b5f3b1e899bf5d250279578c0283705b8cdb4","date":"2022-11-24T03:40:30Z","outputs":[{"name":"out","path":"/nix/store/hh8y9psk7iiwwphm897rf04g4ipgpihy-vimplugin-coq.thirdparty-2022-11-22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8e8b5f3b1e899bf5d250279578c0283705b8cdb4","date":"2022-11-24T03:40:30Z","outputs":[{"name":"out","path":"/nix/store/9cs30khnjj6m1kahhmv2mpws9c983qhz-vimplugin-coq.thirdparty-2022-11-22","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-11-19","last_updated":"2022-11-21T15:52:25Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6b5019a48f876f3288efc626fa8b70ad0c64eb46","date":"2022-11-21T15:52:25Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6b5019a48f876f3288efc626fa8b70ad0c64eb46","date":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/jchwgs9cjchbzfkfm8pl9xxp31ff28n6-vimplugin-coq.thirdparty-2022-11-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6b5019a48f876f3288efc626fa8b70ad0c64eb46","date":"2022-11-21T15:52:25Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6b5019a48f876f3288efc626fa8b70ad0c64eb46","date":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/alk11wjv2yzw463ks1ipa1y8qc6mncxk-vimplugin-coq.thirdparty-2022-11-19","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-11-18","last_updated":"2022-11-19T18:33:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a1b4a562216eba8df3053bd869155dde4b5bca12","date":"2022-11-19T18:33:04Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a1b4a562216eba8df3053bd869155dde4b5bca12","date":"2022-11-19T18:33:04Z","outputs":[{"name":"out","path":"/nix/store/21cij9apiz3ql93kfpsdfgw4slsrndd6-vimplugin-coq.thirdparty-2022-11-18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a1b4a562216eba8df3053bd869155dde4b5bca12","date":"2022-11-19T18:33:04Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"a1b4a562216eba8df3053bd869155dde4b5bca12","date":"2022-11-19T18:33:04Z","outputs":[{"name":"out","path":"/nix/store/6j9cq3nll8j00sqizsncapvc41p51ixc-vimplugin-coq.thirdparty-2022-11-18","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-11-15","last_updated":"2022-11-16T10:43:22Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"c03141948959417b580a9cbd57983af910d6727a","date":"2022-11-16T10:43:22Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"c03141948959417b580a9cbd57983af910d6727a","date":"2022-11-16T10:43:22Z","outputs":[{"name":"out","path":"/nix/store/bgj5x3rs4nqyhphjyykn33fhjgrzinfn-vimplugin-coq.thirdparty-2022-11-15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"c03141948959417b580a9cbd57983af910d6727a","date":"2022-11-16T10:43:22Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"c03141948959417b580a9cbd57983af910d6727a","date":"2022-11-16T10:43:22Z","outputs":[{"name":"out","path":"/nix/store/mnpw68sg1389y2gnc0hvsgwn75mlpynb-vimplugin-coq.thirdparty-2022-11-15","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-11-14","last_updated":"2022-11-15T01:17:07Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"032b5c19b09e8bb9b80eba484b58d1b525dc609d","date":"2022-11-15T01:17:07Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"032b5c19b09e8bb9b80eba484b58d1b525dc609d","date":"2022-11-15T01:17:07Z","outputs":[{"name":"out","path":"/nix/store/l8859ppp4ymlw8ra2lyfskx49xwllr49-vimplugin-coq.thirdparty-2022-11-14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"032b5c19b09e8bb9b80eba484b58d1b525dc609d","date":"2022-11-15T01:17:07Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"032b5c19b09e8bb9b80eba484b58d1b525dc609d","date":"2022-11-15T01:17:07Z","outputs":[{"name":"out","path":"/nix/store/8ngqj372xx1cchsf03qiqjinniqzrixx-vimplugin-coq.thirdparty-2022-11-14","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-11-04","last_updated":"2022-11-10T13:14:32Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"72d8853228c9758820c39b8659415b6d89279493","date":"2022-11-10T13:14:32Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"72d8853228c9758820c39b8659415b6d89279493","date":"2022-11-10T13:14:32Z","outputs":[{"name":"out","path":"/nix/store/jgwq5a4pab3nmgd4dy29b1qgwqg7k8gz-vimplugin-coq.thirdparty-2022-11-04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"72d8853228c9758820c39b8659415b6d89279493","date":"2022-11-10T13:14:32Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"72d8853228c9758820c39b8659415b6d89279493","date":"2022-11-10T13:14:32Z","outputs":[{"name":"out","path":"/nix/store/qqs3mr1wvl858r3lc4ra8w8bla9k8h7v-vimplugin-coq.thirdparty-2022-11-04","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-11-01","last_updated":"2022-11-04T08:04:30Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"01e9ba9666a3fb137621f35d012710bb5af44860","date":"2022-11-04T08:04:30Z","outputs":[{"name":"out","path":"/nix/store/13jx3xsxqgmkpch0vs1hnrav8hx24hiy-vimplugin-coq.thirdparty-2022-11-01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"01e9ba9666a3fb137621f35d012710bb5af44860","date":"2022-11-04T08:04:30Z","outputs":[{"name":"out","path":"/nix/store/bmijjb86acja1xkps1n3v7i2mc1qisw2-vimplugin-coq.thirdparty-2022-11-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"01e9ba9666a3fb137621f35d012710bb5af44860","date":"2022-11-04T08:04:30Z","outputs":[{"name":"out","path":"/nix/store/nj672myv5cq79gpkaqn72i9b4wbyhdd7-vimplugin-coq.thirdparty-2022-11-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"01e9ba9666a3fb137621f35d012710bb5af44860","date":"2022-11-04T08:04:30Z","outputs":[{"name":"out","path":"/nix/store/gf0mfkj5lc4khajy5fw88lh69w6xgnc1-vimplugin-coq.thirdparty-2022-11-01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-29","last_updated":"2022-10-31T07:01:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ced197be72099edcfa68ebed8b87af7b04851f45","date":"2022-10-31T07:01:47Z","outputs":[{"name":"out","path":"/nix/store/sw8k20gr1kvifx5bckpv003m5da6d2qw-vimplugin-coq.thirdparty-2022-10-29","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ced197be72099edcfa68ebed8b87af7b04851f45","date":"2022-10-31T07:01:47Z","outputs":[{"name":"out","path":"/nix/store/q5pcg7ap3r7v1z5ny28z5c4yhh0dskqs-vimplugin-coq.thirdparty-2022-10-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ced197be72099edcfa68ebed8b87af7b04851f45","date":"2022-10-31T07:01:47Z","outputs":[{"name":"out","path":"/nix/store/y47f1204hk68rdam6rp3xav8zy930pv6-vimplugin-coq.thirdparty-2022-10-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ced197be72099edcfa68ebed8b87af7b04851f45","date":"2022-10-31T07:01:47Z","outputs":[{"name":"out","path":"/nix/store/9kq7fpm64x0r0myvn6hpg8dhy09djxsm-vimplugin-coq.thirdparty-2022-10-29","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-28","last_updated":"2022-10-28T21:24:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fbb042bc87bc92fc5296b8b151e36970dd996c64","date":"2022-10-28T21:24:09Z","outputs":[{"name":"out","path":"/nix/store/zzm2ymbk314phqphlix5y5jsclqw1qa4-vimplugin-coq.thirdparty-2022-10-28","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fbb042bc87bc92fc5296b8b151e36970dd996c64","date":"2022-10-28T21:24:09Z","outputs":[{"name":"out","path":"/nix/store/7ypd7446yamkszwg0plc6x2lg5qnf09c-vimplugin-coq.thirdparty-2022-10-28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fbb042bc87bc92fc5296b8b151e36970dd996c64","date":"2022-10-28T21:24:09Z","outputs":[{"name":"out","path":"/nix/store/1h6s167ykwrw9l9hs4sgcqqk1glx5d76-vimplugin-coq.thirdparty-2022-10-28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"fbb042bc87bc92fc5296b8b151e36970dd996c64","date":"2022-10-28T21:24:09Z","outputs":[{"name":"out","path":"/nix/store/pbwv95bvdnrwrd1biqncghxdrvyr50dg-vimplugin-coq.thirdparty-2022-10-28","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-27","last_updated":"2022-10-28T03:12:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f44ba1be526c8da9e79a5759feca2365204003f6","date":"2022-10-28T03:12:13Z","outputs":[{"name":"out","path":"/nix/store/cwgvxhvnv61ywalyg637qhr52hiv9byy-vimplugin-coq.thirdparty-2022-10-27","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f44ba1be526c8da9e79a5759feca2365204003f6","date":"2022-10-28T03:12:13Z","outputs":[{"name":"out","path":"/nix/store/n83sd79lhcii0ngn80ahnw14hzvzx3vd-vimplugin-coq.thirdparty-2022-10-27","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f44ba1be526c8da9e79a5759feca2365204003f6","date":"2022-10-28T03:12:13Z","outputs":[{"name":"out","path":"/nix/store/am83j9ppz74862bnhjpv1rrzjw4wqgnp-vimplugin-coq.thirdparty-2022-10-27","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f44ba1be526c8da9e79a5759feca2365204003f6","date":"2022-10-28T03:12:13Z","outputs":[{"name":"out","path":"/nix/store/k1ppvd6ij5np7vxv45raj0vdm4f6sa0q-vimplugin-coq.thirdparty-2022-10-27","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-25","last_updated":"2022-10-26T19:42:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"eb354ebf03d3819d00922d5069cfc63159083a84","date":"2022-10-26T19:42:09Z","outputs":[{"name":"out","path":"/nix/store/8kkmnf0xjyb2jzjkx5d310jjalqjjvk9-vimplugin-coq.thirdparty-2022-10-25","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"eb354ebf03d3819d00922d5069cfc63159083a84","date":"2022-10-26T19:42:09Z","outputs":[{"name":"out","path":"/nix/store/nsm8gkdksiph2xsz2lffi7v93z0xqk0c-vimplugin-coq.thirdparty-2022-10-25","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"eb354ebf03d3819d00922d5069cfc63159083a84","date":"2022-10-26T19:42:09Z","outputs":[{"name":"out","path":"/nix/store/838qzhwyx05l6vmhq8kd1dqss7ja1h7l-vimplugin-coq.thirdparty-2022-10-25","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"eb354ebf03d3819d00922d5069cfc63159083a84","date":"2022-10-26T19:42:09Z","outputs":[{"name":"out","path":"/nix/store/48gvm160pslwdliycbwl4acb4x89vwyy-vimplugin-coq.thirdparty-2022-10-25","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-21","last_updated":"2022-10-22T16:07:30Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/vqra60y4pr842015nlr1fk77l99wlg7w-vimplugin-coq.thirdparty-2022-10-21","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/yc7k214d5qg7f616yhp17r5rqpnjh5g3-vimplugin-coq.thirdparty-2022-10-21","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/fn8xsfxj4winjpmayg1gw5nknn8zc2r7-vimplugin-coq.thirdparty-2022-10-21","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/j4ib93jnbcnxspvyxjqxnbsfml13c6y0-vimplugin-coq.thirdparty-2022-10-21","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-20","last_updated":"2022-10-21T06:24:15Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"93e0ac196106dce51878469c9a763c6233af5c57","date":"2022-10-21T06:24:15Z","outputs":[{"name":"out","path":"/nix/store/p8rz8g1wlxyhdwww029ngz5qn48g3va1-vimplugin-coq.thirdparty-2022-10-20","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"93e0ac196106dce51878469c9a763c6233af5c57","date":"2022-10-21T06:24:15Z","outputs":[{"name":"out","path":"/nix/store/72x4l3fmd8x8yqxzy73pdgf0jc93ziaw-vimplugin-coq.thirdparty-2022-10-20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"93e0ac196106dce51878469c9a763c6233af5c57","date":"2022-10-21T06:24:15Z","outputs":[{"name":"out","path":"/nix/store/w3hzb6kzpdv1wd5psx0xkkmi8wrfdyix-vimplugin-coq.thirdparty-2022-10-20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"93e0ac196106dce51878469c9a763c6233af5c57","date":"2022-10-21T06:24:15Z","outputs":[{"name":"out","path":"/nix/store/2xhpbagqrfdzcfv1qdw1f5k8b5q6nxd7-vimplugin-coq.thirdparty-2022-10-20","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-19","last_updated":"2022-10-19T12:40:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d2cfe468f81b5380a24a4de4f66c57d94ee9ca0e","date":"2022-10-19T12:40:23Z","outputs":[{"name":"out","path":"/nix/store/hi3xpnpgl2drnh9kf293c768618czk9m-vimplugin-coq.thirdparty-2022-10-19","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d2cfe468f81b5380a24a4de4f66c57d94ee9ca0e","date":"2022-10-19T12:40:23Z","outputs":[{"name":"out","path":"/nix/store/wrckscclh3s3m0788nhzlkds1yzjpqnd-vimplugin-coq.thirdparty-2022-10-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d2cfe468f81b5380a24a4de4f66c57d94ee9ca0e","date":"2022-10-19T12:40:23Z","outputs":[{"name":"out","path":"/nix/store/3avfr1q7c82nwb55p44kyki8dclmyfad-vimplugin-coq.thirdparty-2022-10-19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d2cfe468f81b5380a24a4de4f66c57d94ee9ca0e","date":"2022-10-19T12:40:23Z","outputs":[{"name":"out","path":"/nix/store/d5zyq58bgv9wmw4kbj7dpsyk8wkkyy5k-vimplugin-coq.thirdparty-2022-10-19","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-17","last_updated":"2022-10-18T21:00:40Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"b7adfe45f44df102e94cb43b25d33cdc38a86f2a","date":"2022-10-18T21:00:40Z","outputs":[{"name":"out","path":"/nix/store/rdm5bx2w2f7sfjvjx39fr5c02a2l2xc7-vimplugin-coq.thirdparty-2022-10-17","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"b7adfe45f44df102e94cb43b25d33cdc38a86f2a","date":"2022-10-18T21:00:40Z","outputs":[{"name":"out","path":"/nix/store/r969q8vyn95hl6j3qwfnk9la9pihs4yn-vimplugin-coq.thirdparty-2022-10-17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"b7adfe45f44df102e94cb43b25d33cdc38a86f2a","date":"2022-10-18T21:00:40Z","outputs":[{"name":"out","path":"/nix/store/09xxr8ynkzzsvb1cffin3fgs7pgpz0r4-vimplugin-coq.thirdparty-2022-10-17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"b7adfe45f44df102e94cb43b25d33cdc38a86f2a","date":"2022-10-18T21:00:40Z","outputs":[{"name":"out","path":"/nix/store/yqj32hylk0hqk83xxmc5a17mvcbgzdp2-vimplugin-coq.thirdparty-2022-10-17","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-16","last_updated":"2022-10-16T19:26:57Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ec96702d7dbc5d3af40ef1c4d28040ec4a0f11e8","date":"2022-10-16T19:26:57Z","outputs":[{"name":"out","path":"/nix/store/y3zgzwjd29dm8sv8wwniwbx8m2v6qww6-vimplugin-coq.thirdparty-2022-10-16","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ec96702d7dbc5d3af40ef1c4d28040ec4a0f11e8","date":"2022-10-16T19:26:57Z","outputs":[{"name":"out","path":"/nix/store/fyzjf0jcyi5gwznibv8w40k7n6v5w2zk-vimplugin-coq.thirdparty-2022-10-16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ec96702d7dbc5d3af40ef1c4d28040ec4a0f11e8","date":"2022-10-16T19:26:57Z","outputs":[{"name":"out","path":"/nix/store/37vdi47byiba11z787grd958dg2162yd-vimplugin-coq.thirdparty-2022-10-16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ec96702d7dbc5d3af40ef1c4d28040ec4a0f11e8","date":"2022-10-16T19:26:57Z","outputs":[{"name":"out","path":"/nix/store/6sl4s4f40mfj2gm7nvqsmqqrn04jd2h3-vimplugin-coq.thirdparty-2022-10-16","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-14","last_updated":"2022-10-16T12:08:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d7c3a973c7f20cfeca999d03e3da7344e0bb55f1","date":"2022-10-16T12:08:48Z","outputs":[{"name":"out","path":"/nix/store/i6pbgznsyw226lzd0kyg3qckyfins5wn-vimplugin-coq.thirdparty-2022-10-14","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d7c3a973c7f20cfeca999d03e3da7344e0bb55f1","date":"2022-10-16T12:08:48Z","outputs":[{"name":"out","path":"/nix/store/1fyanwy7q2sfpj6yhcx8cczicjzsaal4-vimplugin-coq.thirdparty-2022-10-14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d7c3a973c7f20cfeca999d03e3da7344e0bb55f1","date":"2022-10-16T12:08:48Z","outputs":[{"name":"out","path":"/nix/store/sfps65clbs61qa5ic9qlr97rbzwamvlq-vimplugin-coq.thirdparty-2022-10-14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d7c3a973c7f20cfeca999d03e3da7344e0bb55f1","date":"2022-10-16T12:08:48Z","outputs":[{"name":"out","path":"/nix/store/v9348pqkqlnz60kg351cvgvq7vmcsphi-vimplugin-coq.thirdparty-2022-10-14","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-11","last_updated":"2022-10-12T11:38:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3dae05bb9193f3910f1ac0251b1c1eb4f7f07872","date":"2022-10-12T11:38:55Z","outputs":[{"name":"out","path":"/nix/store/qc5dir1v2afsmlqmm40njvaifds38cih-vimplugin-coq.thirdparty-2022-10-11","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3dae05bb9193f3910f1ac0251b1c1eb4f7f07872","date":"2022-10-12T11:38:55Z","outputs":[{"name":"out","path":"/nix/store/b4v5wgplw7fwpna9vgmv9fdz5ckqhvfr-vimplugin-coq.thirdparty-2022-10-11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3dae05bb9193f3910f1ac0251b1c1eb4f7f07872","date":"2022-10-12T11:38:55Z","outputs":[{"name":"out","path":"/nix/store/wwxs1w9lwayy2vszij63w6qzk9f32cya-vimplugin-coq.thirdparty-2022-10-11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3dae05bb9193f3910f1ac0251b1c1eb4f7f07872","date":"2022-10-12T11:38:55Z","outputs":[{"name":"out","path":"/nix/store/12kwkwc0rcwjmqkm92skiiqvj6k3w3k8-vimplugin-coq.thirdparty-2022-10-11","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-10","last_updated":"2022-10-11T10:16:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/7mvq3xn867jkzknz4qsn03jw22wv0fys-vimplugin-coq.thirdparty-2022-10-10","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/asks7rkbi6773p7n62kkzfbmmcc3c7dv-vimplugin-coq.thirdparty-2022-10-10","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/qlb8k5b3wcznbxhcdkzaiia27ciggpkj-vimplugin-coq.thirdparty-2022-10-10","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/jcl0hq73j2w2rrzy4n1cp9a2lp3d1d0w-vimplugin-coq.thirdparty-2022-10-10","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-09","last_updated":"2022-10-10T07:46:08Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"91d1eb9f2a9c4e3c9d68a59f6c0cada8c63d5340","date":"2022-10-10T07:46:08Z","outputs":[{"name":"out","path":"/nix/store/3a5dls999qcq608wh0aiwslgd1id18fb-vimplugin-coq.thirdparty-2022-10-09","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"91d1eb9f2a9c4e3c9d68a59f6c0cada8c63d5340","date":"2022-10-10T07:46:08Z","outputs":[{"name":"out","path":"/nix/store/16salw0b6k4a58nzd05xfmhp915vrjd3-vimplugin-coq.thirdparty-2022-10-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"91d1eb9f2a9c4e3c9d68a59f6c0cada8c63d5340","date":"2022-10-10T07:46:08Z","outputs":[{"name":"out","path":"/nix/store/zqvfdv2b5fzash1yp3scnhx434laizgn-vimplugin-coq.thirdparty-2022-10-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"91d1eb9f2a9c4e3c9d68a59f6c0cada8c63d5340","date":"2022-10-10T07:46:08Z","outputs":[{"name":"out","path":"/nix/store/v6n0r0zas9jlzdyncjsjaqr7b9jkjd71-vimplugin-coq.thirdparty-2022-10-09","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-04","last_updated":"2022-10-06T11:36:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"27a89ba43b0fb735ce867e8ab3d2442f8cc61dad","date":"2022-10-06T11:36:05Z","outputs":[{"name":"out","path":"/nix/store/nqn2zfsczyqq5ywcfl8ps4vr5zlipf4y-vimplugin-coq.thirdparty-2022-10-04","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"27a89ba43b0fb735ce867e8ab3d2442f8cc61dad","date":"2022-10-06T11:36:05Z","outputs":[{"name":"out","path":"/nix/store/gs74m3hyihxc9y5gsb4bx8m2w5sbv90p-vimplugin-coq.thirdparty-2022-10-04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"27a89ba43b0fb735ce867e8ab3d2442f8cc61dad","date":"2022-10-06T11:36:05Z","outputs":[{"name":"out","path":"/nix/store/pd0n8yyzy3g9469ngr0chq8napqbgr48-vimplugin-coq.thirdparty-2022-10-04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"27a89ba43b0fb735ce867e8ab3d2442f8cc61dad","date":"2022-10-06T11:36:05Z","outputs":[{"name":"out","path":"/nix/store/w2clarjm0ayfjy31pkixfsw0cv8ynrqb-vimplugin-coq.thirdparty-2022-10-04","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-02","last_updated":"2022-10-03T17:25:20Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e166ced03f34f5c22a1a643aac860003d9c409b7","date":"2022-10-03T17:25:20Z","outputs":[{"name":"out","path":"/nix/store/82cn58n0iw4av68am4jya23y7xqc6xpy-vimplugin-coq.thirdparty-2022-10-02","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e166ced03f34f5c22a1a643aac860003d9c409b7","date":"2022-10-03T17:25:20Z","outputs":[{"name":"out","path":"/nix/store/am1z3bmd4pygvb6p0bd309rhz95bds7g-vimplugin-coq.thirdparty-2022-10-02","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e166ced03f34f5c22a1a643aac860003d9c409b7","date":"2022-10-03T17:25:20Z","outputs":[{"name":"out","path":"/nix/store/68lpdmp9q7v06fvr4d5ngl5w2cq6r61i-vimplugin-coq.thirdparty-2022-10-02","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"e166ced03f34f5c22a1a643aac860003d9c409b7","date":"2022-10-03T17:25:20Z","outputs":[{"name":"out","path":"/nix/store/2wxh5ng8vdmqrk4ch2dk6ym0rwvbb0k4-vimplugin-coq.thirdparty-2022-10-02","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-09-27","last_updated":"2022-10-02T02:02:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8e0f159ff2d17faabbce0d60b14f50710e882eab","date":"2022-10-02T02:02:31Z","outputs":[{"name":"out","path":"/nix/store/w7i2b2k5qdsf2p7ic05glflk7scy9jng-vimplugin-coq.thirdparty-2022-09-27","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8e0f159ff2d17faabbce0d60b14f50710e882eab","date":"2022-10-02T02:02:31Z","outputs":[{"name":"out","path":"/nix/store/apgf01iabgz7m1jqklxvn6g3hzzxa6q9-vimplugin-coq.thirdparty-2022-09-27","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8e0f159ff2d17faabbce0d60b14f50710e882eab","date":"2022-10-02T02:02:31Z","outputs":[{"name":"out","path":"/nix/store/gx61x9arjspadd3n75q1b9ccp4jnb3in-vimplugin-coq.thirdparty-2022-09-27","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"8e0f159ff2d17faabbce0d60b14f50710e882eab","date":"2022-10-02T02:02:31Z","outputs":[{"name":"out","path":"/nix/store/9w1sa30ky4846c0wnrjxa3ggvwpb2avw-vimplugin-coq.thirdparty-2022-09-27","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-09-23","last_updated":"2022-09-25T14:46:41Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f3e200bd7fa6f62edbfad82fe9fefe7b02f28603","date":"2022-09-25T14:46:41Z","outputs":[{"name":"out","path":"/nix/store/hljd7718y7x2hljs2y4rfn7y3rs8fbh4-vimplugin-coq.thirdparty-2022-09-23","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f3e200bd7fa6f62edbfad82fe9fefe7b02f28603","date":"2022-09-25T14:46:41Z","outputs":[{"name":"out","path":"/nix/store/2jc7gkzpx9xvximd5rcsp520ivd2wyw9-vimplugin-coq.thirdparty-2022-09-23","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f3e200bd7fa6f62edbfad82fe9fefe7b02f28603","date":"2022-09-25T14:46:41Z","outputs":[{"name":"out","path":"/nix/store/1xp4408sxzx9ynbqazc0lq0q9gqa701g-vimplugin-coq.thirdparty-2022-09-23","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"f3e200bd7fa6f62edbfad82fe9fefe7b02f28603","date":"2022-09-25T14:46:41Z","outputs":[{"name":"out","path":"/nix/store/yhcyd1kv782plbcdr5ymy0nfx4gp9zvf-vimplugin-coq.thirdparty-2022-09-23","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-09-20","last_updated":"2022-09-21T19:43:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"78c04a7dd5b13aeb789ec26e73a84c4d10f57503","date":"2022-09-21T19:43:56Z","outputs":[{"name":"out","path":"/nix/store/fz39klcis5c4za9w10w293xm4h3gqiyw-vimplugin-coq.thirdparty-2022-09-20","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"78c04a7dd5b13aeb789ec26e73a84c4d10f57503","date":"2022-09-21T19:43:56Z","outputs":[{"name":"out","path":"/nix/store/591827xps1jr3brymzcdhv1kzfana0gq-vimplugin-coq.thirdparty-2022-09-20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"78c04a7dd5b13aeb789ec26e73a84c4d10f57503","date":"2022-09-21T19:43:56Z","outputs":[{"name":"out","path":"/nix/store/69kkcwjdav48vs97i1ksvddfjy3zc48c-vimplugin-coq.thirdparty-2022-09-20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"78c04a7dd5b13aeb789ec26e73a84c4d10f57503","date":"2022-09-21T19:43:56Z","outputs":[{"name":"out","path":"/nix/store/rc89pxgxl7f66aqh98np2g19jd34bnmq-vimplugin-coq.thirdparty-2022-09-20","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-09-08","last_updated":"2022-09-12T23:24:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"994df04c3c700fe9edb1b69b82ba3c627e5e04ff","date":"2022-09-12T23:24:01Z","outputs":[{"name":"out","path":"/nix/store/l00hxabhqk1va561q7xnjzh6izir096x-vimplugin-coq.thirdparty-2022-09-08","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"994df04c3c700fe9edb1b69b82ba3c627e5e04ff","date":"2022-09-12T23:24:01Z","outputs":[{"name":"out","path":"/nix/store/97bvsmb55apibcl13y4cnci3diiv9b8h-vimplugin-coq.thirdparty-2022-09-08","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"994df04c3c700fe9edb1b69b82ba3c627e5e04ff","date":"2022-09-12T23:24:01Z","outputs":[{"name":"out","path":"/nix/store/0xqqvygm16r4kmnncjx3gvmyym6qmafw-vimplugin-coq.thirdparty-2022-09-08","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"994df04c3c700fe9edb1b69b82ba3c627e5e04ff","date":"2022-09-12T23:24:01Z","outputs":[{"name":"out","path":"/nix/store/kfj2fx9vi40ic67sicaw8q81nzh683ih-vimplugin-coq.thirdparty-2022-09-08","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-08-31","last_updated":"2022-09-02T05:30:12Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"21de2b973f9fee595a7a1ac4693efff791245c34","date":"2022-09-02T05:30:12Z","outputs":[{"name":"out","path":"/nix/store/f99v3pbr2hkdcw24pwi1hhwb0frrfakm-vimplugin-coq.thirdparty-2022-08-31","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"21de2b973f9fee595a7a1ac4693efff791245c34","date":"2022-09-02T05:30:12Z","outputs":[{"name":"out","path":"/nix/store/i1g34rrxwkzdpy66gwiggyrcbvwr7frm-vimplugin-coq.thirdparty-2022-08-31","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"21de2b973f9fee595a7a1ac4693efff791245c34","date":"2022-09-02T05:30:12Z","outputs":[{"name":"out","path":"/nix/store/nyi8y4wsfq07ki7yn04ilr0gyb0lm19n-vimplugin-coq.thirdparty-2022-08-31","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"21de2b973f9fee595a7a1ac4693efff791245c34","date":"2022-09-02T05:30:12Z","outputs":[{"name":"out","path":"/nix/store/7krm7389xpnisrad01ph423jgafv8cwc-vimplugin-coq.thirdparty-2022-08-31","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-08-21","last_updated":"2022-08-27T08:52:24Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/qr9xvkq4w449qf1z2pf1kz93ghj7l9ss-vimplugin-coq.thirdparty-2022-08-21","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/82lriinrxl3d5w2mry84k4yvk6hcg8vk-vimplugin-coq.thirdparty-2022-08-21","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/48vr18af9cahwclcz1sr50wbb1f5jhcq-vimplugin-coq.thirdparty-2022-08-21","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/w1lmfri98k49mryz4m1pl1wv7rrg37kr-vimplugin-coq.thirdparty-2022-08-21","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-08-20","last_updated":"2022-08-21T07:44:39Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"796a2677849fd7329543d9da4e13b77aa48956a8","date":"2022-08-21T07:44:39Z","outputs":[{"name":"out","path":"/nix/store/02119vvim6x8dxd1zzp4b7swln4ifk88-vimplugin-coq.thirdparty-2022-08-20","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"796a2677849fd7329543d9da4e13b77aa48956a8","date":"2022-08-21T07:44:39Z","outputs":[{"name":"out","path":"/nix/store/nnc6svvqihvj63mjy5jr4xppjif8z912-vimplugin-coq.thirdparty-2022-08-20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"796a2677849fd7329543d9da4e13b77aa48956a8","date":"2022-08-21T07:44:39Z","outputs":[{"name":"out","path":"/nix/store/h750a6h3ibcgbsfa0afwbcwpar7i285m-vimplugin-coq.thirdparty-2022-08-20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"796a2677849fd7329543d9da4e13b77aa48956a8","date":"2022-08-21T07:44:39Z","outputs":[{"name":"out","path":"/nix/store/ifgg04xc29hjv95b92ciac7g72dwa8dy-vimplugin-coq.thirdparty-2022-08-20","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-07-27","last_updated":"2022-08-16T08:43:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6c6409e965a6c883677be7b9d87a95fab6c3472e","date":"2022-08-16T08:43:52Z","outputs":[{"name":"out","path":"/nix/store/mzbkp4qnmf3zc9xfdzh5jjjcbpr3zylk-vimplugin-coq.thirdparty-2022-07-27","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6c6409e965a6c883677be7b9d87a95fab6c3472e","date":"2022-08-16T08:43:52Z","outputs":[{"name":"out","path":"/nix/store/01dsd4xxlwxwiwag0ngqay0ak1q1awab-vimplugin-coq.thirdparty-2022-07-27","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6c6409e965a6c883677be7b9d87a95fab6c3472e","date":"2022-08-16T08:43:52Z","outputs":[{"name":"out","path":"/nix/store/7j62ix4gmgkar3m99nd45w9zmv7h6vfd-vimplugin-coq.thirdparty-2022-07-27","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6c6409e965a6c883677be7b9d87a95fab6c3472e","date":"2022-08-16T08:43:52Z","outputs":[{"name":"out","path":"/nix/store/2z2xzwhqfg8clhj1z1azxnfybf2dayd6-vimplugin-coq.thirdparty-2022-07-27","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-07-08","last_updated":"2022-07-19T17:55:53Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6f884c2f43c7bb105816303eb4867da672ec6f39","date":"2022-07-19T17:55:53Z","outputs":[{"name":"out","path":"/nix/store/krws230vw2ny6cyxawdnvlnszsdwcwrw-vimplugin-coq.thirdparty-2022-07-08","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6f884c2f43c7bb105816303eb4867da672ec6f39","date":"2022-07-19T17:55:53Z","outputs":[{"name":"out","path":"/nix/store/pvyg5071mzp04xpbm02ri5sgf6sisa7z-vimplugin-coq.thirdparty-2022-07-08","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6f884c2f43c7bb105816303eb4867da672ec6f39","date":"2022-07-19T17:55:53Z","outputs":[{"name":"out","path":"/nix/store/zxglgs39fsyw263grzv5wxf5vllvmnqi-vimplugin-coq.thirdparty-2022-07-08","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"6f884c2f43c7bb105816303eb4867da672ec6f39","date":"2022-07-19T17:55:53Z","outputs":[{"name":"out","path":"/nix/store/1jmcqik5bwmimbdna1v7v24m4vdfjkkd-vimplugin-coq.thirdparty-2022-07-08","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-07-02","last_updated":"2022-07-08T15:07:10Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"334ec8b503c3981e37a04b817a70e8d026ea9e84","date":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/m98s93yzz9dm2xhmj6dk6qzhw3mj8l12-vimplugin-coq.thirdparty-2022-07-02","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"334ec8b503c3981e37a04b817a70e8d026ea9e84","date":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/a3lzawgbsdhxndsgz7f37bjgqxk5a2x4-vimplugin-coq.thirdparty-2022-07-02","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"334ec8b503c3981e37a04b817a70e8d026ea9e84","date":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/if130an2zq01r4kc7afp5j3ii2kzy790-vimplugin-coq.thirdparty-2022-07-02","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"334ec8b503c3981e37a04b817a70e8d026ea9e84","date":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/rz0fczwjq9610lvci753yfwbx5xbm6jw-vimplugin-coq.thirdparty-2022-07-02","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-06-21","last_updated":"2022-07-03T11:24:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d63774ae64431366be4d1f2aede50e52204c7d6c","date":"2022-07-03T11:24:00Z","outputs":[{"name":"out","path":"/nix/store/fgynffn6qjccp7p8s2dqjx8xm92jjvkz-vimplugin-coq.thirdparty-2022-06-21","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d63774ae64431366be4d1f2aede50e52204c7d6c","date":"2022-07-03T11:24:00Z","outputs":[{"name":"out","path":"/nix/store/sza7nq1w7k3nhwndlkxnni0d1rfv40am-vimplugin-coq.thirdparty-2022-06-21","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d63774ae64431366be4d1f2aede50e52204c7d6c","date":"2022-07-03T11:24:00Z","outputs":[{"name":"out","path":"/nix/store/fpqy24z64dz9c2fb1rdga0zckzfsm4l8-vimplugin-coq.thirdparty-2022-06-21","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"d63774ae64431366be4d1f2aede50e52204c7d6c","date":"2022-07-03T11:24:00Z","outputs":[{"name":"out","path":"/nix/store/p573x77ipv2w83jhfshn3qhjp10lsp7m-vimplugin-coq.thirdparty-2022-06-21","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-06-09","last_updated":"2022-06-20T04:45:15Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"72bbea9db7d727ed044e60b5f5febc60a3c5c955","date":"2022-06-20T04:45:15Z","outputs":[{"name":"out","path":"/nix/store/ac00z27k2wf7gafzlqffs1hrnmxlmjsy-vimplugin-coq.thirdparty-2022-06-09","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"72bbea9db7d727ed044e60b5f5febc60a3c5c955","date":"2022-06-20T04:45:15Z","outputs":[{"name":"out","path":"/nix/store/7i8rixhw83k1dlndaf4mv1lmmkkjb23p-vimplugin-coq.thirdparty-2022-06-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"72bbea9db7d727ed044e60b5f5febc60a3c5c955","date":"2022-06-20T04:45:15Z","outputs":[{"name":"out","path":"/nix/store/5nwz2w6wzdh4xxcd9h8j5j23dicfsvxb-vimplugin-coq.thirdparty-2022-06-09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"72bbea9db7d727ed044e60b5f5febc60a3c5c955","date":"2022-06-20T04:45:15Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-06-04","last_updated":"2022-06-05T03:11:35Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"c5d810f4c74c824ae0fb788103003c6c9d366a08","date":"2022-06-05T03:11:35Z","outputs":[{"name":"out","path":"/nix/store/9vhh282yzaymz794l4csqnjgcz6d4ppr-vimplugin-coq.thirdparty-2022-06-04","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"c5d810f4c74c824ae0fb788103003c6c9d366a08","date":"2022-06-05T03:11:35Z","outputs":[{"name":"out","path":"/nix/store/62wrlgwzjmzm12vcnzn9fqx14dlz8s1y-vimplugin-coq.thirdparty-2022-06-04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"c5d810f4c74c824ae0fb788103003c6c9d366a08","date":"2022-06-05T03:11:35Z","outputs":[{"name":"out","path":"/nix/store/v3wi3b15svr320vifk1jpsfzmw4p8wbr-vimplugin-coq.thirdparty-2022-06-04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"c5d810f4c74c824ae0fb788103003c6c9d366a08","date":"2022-06-05T03:11:35Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0-unstable-2026-06-21","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/fz4w89iyj02ijmixnriwdd78nzjbh7z4-vimplugin-coq.thirdparty-0-unstable-2026-06-21","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/9zxypghjkcvyms2id6j2vw03vd33vg60-vimplugin-coq.thirdparty-0-unstable-2026-06-21","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/bdk15pxryjr7qa8wvy9ljvsr2glh8bgx-vimplugin-coq.thirdparty-0-unstable-2026-06-21","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/62jwzy331whhclg1ynh8qr7ncgwp60dd-vimplugin-coq.thirdparty-0-unstable-2026-06-21","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0-unstable-2025-10-29","last_updated":"2026-06-27T07:37:20Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/74q9lqm3bwvrpkd5bkyvdihi7vls1jmm-vimplugin-coq.thirdparty-0-unstable-2025-10-29","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/yic236bdr289x5gsbjx2h0mw2rawi7kr-vimplugin-coq.thirdparty-0-unstable-2025-10-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/5rr8hmb5ddr2gh302xr9qdhwa9mvkkg0-vimplugin-coq.thirdparty-0-unstable-2025-10-29","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.coq-thirdparty","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/09r5v13vimdwhbn30y0l5r4rq1m7nklh-vimplugin-coq.thirdparty-0-unstable-2025-10-29","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}