{"name":"coqPackages.itauto","summary":"Reflexive SAT solver parameterised by a leaf tactic and Nelson-Oppen support","description":"","homepage_url":"https://gitlab.inria.fr/fbesson/itauto","license":"GPL-3.0-or-later","attribute_paths":["coqPackages.itauto"],"releases":[{"version":"8.20.0","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/n0s8yzdn8vm4nncpkvgl1x68dk95zh73-coq8.20-itauto-8.20.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.itauto","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/mn6w1k2wc2344sd47d99hszzk6hszvk2-coq8.20-itauto-8.20.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/lp0cywl6k3cl9ad3x0czwwx4xxcmjmf6-coq8.20-itauto-8.20.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.itauto","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/y31cway73k8fizcwszrqgx237sliw42p-coq8.20-itauto-8.20.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.19.0","last_updated":"2024-08-31T10:12:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/a5aa3wng8d1nk2xcjjdsa6mval2cnr7p-coq8.19-itauto-8.19.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.itauto","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/6802jhsmdf7jhxl81h33vc1wd1x3gmvs-coq8.19-itauto-8.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/17zb7lkq5m662zskykqkdaqbxwrx12kj-coq8.19-itauto-8.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.itauto","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/8bv2c8v4djwvz85c2mrwl2yyfzhsqjja-coq8.19-itauto-8.19.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.18.0","last_updated":"2024-04-24T04:52:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/ycb1qivs29kgzkfgpg8461y5mdf9a7i5-coq8.18-itauto-8.18.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.itauto","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/h95hbmz38vvdi7gn2hm9sy95372w9bh3-coq8.18-itauto-8.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/kj89bsllnbqmh975hcc9mqpcy19mcvd0-coq8.18-itauto-8.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.itauto","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/73hmwhil9jxizjhz16dbsdirp46v77l0-coq8.18-itauto-8.18.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.17.0","last_updated":"2023-09-15T06:49:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/a2xrckrk17z4ypi1dwbf05kf9fid319x-coq8.17-itauto-8.17.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.itauto","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/ycj5pwswfv86p3bnq7gbq8pjj89mkmq1-coq8.17-itauto-8.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/3mch7069dd4m2dx533qsfs690kcf1j6i-coq8.17-itauto-8.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.itauto","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/275d6h6ycnqz7lfs3i8y2yly3v1l6q0s-coq8.17-itauto-8.17.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.16.0","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/jik6qx6vgbzjpnqflxg4cj4q1n6rgvpm-coq8.16-itauto-8.16.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.itauto","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/x3sl9g9myqfzsw0rc0bzbsyr79m65cdx-coq8.16-itauto-8.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/05knfvg57q94hlk8pcdzdl7f8jq5nv3d-coq8.16-itauto-8.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.itauto","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/gr5ys1m51s5mc523y2k5np2vqhh7jrbq-coq8.16-itauto-8.16.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.15.0","last_updated":"2022-10-11T10:16:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/08m4flibh16y5zh0d0bbdjxjwky6qqwh-coq8.15-itauto-8.15.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.itauto","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/hx4mv4r9sgihs8n66f71jk9hja1lv38f-coq8.15-itauto-8.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/q2xc0rqs79av94mpndizpsh6ib8g7y1k-coq8.15-itauto-8.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.itauto","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/1cifisa9lk9mdd5sbhwrxv6pxg86xan0-coq8.15-itauto-8.15.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.13+no","last_updated":"2022-05-04T19:02:07Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"b4cc9cd38f05f1a764e21bfb1b14e89be76068b0","date":"2022-05-04T19:02:07Z","outputs":[{"name":"out","path":"/nix/store/vwv7b4hvvm1pvcpxr39gpnljzkmv8a9q-coq8.13-itauto-8.13+no","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.itauto","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[{"name":"out","path":"/nix/store/m80i095jl0yz6gv7k0sygvykfvyffq5r-coq8.13-itauto-8.13+no","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.itauto","commit_hash":"b4cc9cd38f05f1a764e21bfb1b14e89be76068b0","date":"2022-05-04T19:02:07Z","outputs":[{"name":"out","path":"/nix/store/ks8p5jjh3a2lz8860mvb885rm3zhz8fm-coq8.13-itauto-8.13+no","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.itauto","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}