{"name":"coqPackages.Verdi","summary":"","description":"","homepage_url":"https://github.com/uwplse/verdi","license":"","attribute_paths":["coqPackages.Verdi"],"releases":[{"version":"20230503","last_updated":"2024-04-24T04:52:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.Verdi","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/x1xb0n9y21pb41cpxci4974gbbmnn5is-coq8.18-verdi-20230503","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.Verdi","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/37bvbngbs67rxvf40nd0vl9x9zwl1dc4-coq8.18-verdi-20230503","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.Verdi","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/1620zjffzg41pjxlsnj33nhf407is2s4-coq8.18-verdi-20230503","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.Verdi","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/4aw4p17pkr8nqw4divs4v4zyc8i6v44i-coq8.18-verdi-20230503","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20211026","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.Verdi","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/52sin7sknv2zbfssvzhy75ffqpqfm83d-coq8.16-verdi-20211026","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.Verdi","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/0xq2pv12d7lc7vg9gx3rlagya850m492-coq8.16-verdi-20211026","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.Verdi","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/w7yddb9mma2sk4cscv2cbzhr85pili6w-coq8.16-verdi-20211026","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.Verdi","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/bs0jwz6gp6igip92rmb3yvn6pa49267y-coq8.16-verdi-20211026","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20210524","last_updated":"2022-04-13T09:49:25Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.Verdi","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/avxmfmjrb1xlzn759hnbrm861z44jl05-coq8.13-verdi-20210524","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.Verdi","commit_hash":"0343e3415784b2cd9c68924294794f7dbee12ab3","date":"2022-04-13T09:49:25Z","outputs":[{"name":"out","path":"/nix/store/i2q4lvbqgqz2brb45drxpc8cvd5i908j-coq8.13-verdi-20210524","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.Verdi","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/hx3kw0rac71xlkg7ggssiwvd1i3g50fz-coq8.13-verdi-20210524","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.Verdi","commit_hash":"0343e3415784b2cd9c68924294794f7dbee12ab3","date":"2022-04-13T09:49:25Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20200131","last_updated":"2021-10-04T06:34:54Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.Verdi","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.Verdi","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.Verdi","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}